Show HN: Contradiction, Contraposition and Lean 11 months ago
it's an introduction to Lean theorem prover which is a programming language used by mathematicians to prove theorems
HN user
ou122
1 karma
Posts1
Comments2
The “impossibly small” Microdot web framework 11 months ago
I would love to try this on my ESP32-C3 Super Mini, the small web framework on the small WiFi-capable microcontroller.