Show HN: Contradiction, Contraposition and Leanouss122.github.io1 points·by ou122·قبل 10 أشهر·2 comments
ou122·قبل 10 أشهر·discussit's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems
ou122·قبل 10 أشهر·discussI would love to try this on my ESP32-C3 Super Mini, the small web framework on the small WiFi-capable microcontroller.