A functional language and theorem prover (Lean 4). The global Hottub for Lean — find others who write Lean, send a note, and talk shop. Meet the people who do what you do.
#lean#theorem-proving#programming#coding
0 discussions
No discussions here yet — be the first to start one when you join.