Learn LEAN 4 Theorem Proving in an easy game

 (adam.math.hhu.de)

4 points | by samagra14 9 hours ago ago

No comments yet.