Explore projects
-
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
-
Nifty PCBs / SMT Breakout Breadboard
CERN Open Hardware Licence v1.2A 'Nifty PCB' to breakout SOT-23 and SOIC parts into through-holes, for easy prototyping. Designed with KiCad.
Updated