ou122

3 ms·

1. 1.▲
   by ou122 1y ago

   it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems
2. 2.▲
   Show HN: Contradiction, Contraposition and Lean(ouss122.github.io)

   1 points by ou122 1y ago|2 comments
3. 3.▲
   by ou122 1y ago

   I would love to try this on my ESP32-C3 Super Mini, the small web framework on the small WiFi-capable microcontroller.