Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a collection
about 8 hours ago
Tiny Verified Logic Circuits
updated
a model
about 8 hours ago
phanerozoic/tiny-RippleCarry2Bit-verified
published
a model
about 8 hours ago
phanerozoic/tiny-RippleCarry2Bit-verified
Organizations
models
65
phanerozoic/tiny-RippleCarry2Bit-verified
Updated
phanerozoic/tiny-FullAdder-verified
Updated
phanerozoic/tiny-HalfAdder-verified
Updated
phanerozoic/tiny-mod12-verified
Updated
phanerozoic/tiny-mod11-verified
Updated
phanerozoic/tiny-mod10-verified
Updated
phanerozoic/tiny-mod9-verified
Updated
phanerozoic/tiny-mod8-verified
Updated
phanerozoic/tiny-mod6-verified
Updated
phanerozoic/tiny-mod4-verified
Updated
datasets
86
phanerozoic/Why3
Viewer
•
Updated
•
3.16k
•
25
phanerozoic/ACL2
Viewer
•
Updated
•
231k
•
23
phanerozoic/Dafny
Viewer
•
Updated
•
9.57k
•
21
phanerozoic/F-Star
Viewer
•
Updated
•
13k
•
24
phanerozoic/Isabelle-Stdlib
Viewer
•
Updated
•
78k
•
23
phanerozoic/Isabelle-seL4
Viewer
•
Updated
•
74.1k
•
29
phanerozoic/Agda-TypeTopology
Viewer
•
Updated
•
7.78k
•
13
phanerozoic/Agda-Prelude
Viewer
•
Updated
•
735
•
24
phanerozoic/Agda-HoTT
Viewer
•
Updated
•
604
•
22
phanerozoic/Agda-1Lab
Viewer
•
Updated
•
2.11k
•
23