Learn LEAN 4 Theorem Proving in an easy game

 (math.hhu.de)

3 points | by samagra14 1 hour ago

0 comments