#cda-lean

Topic:

Book: https://leanprover.github.io/theorem_proving_in_lean/index.html | Natural Numbers Game: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

Members:

 70

Language:

-

Server:

View more from hackint.org

Join Rule

public
(The room can be joined without an invite)