Projects with this topic
Sort by:
-
-
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
A 'Nifty PCB' to breakout SOT-23 and SOIC parts into through-holes, for easy prototyping. Designed with KiCad.
Updated
