How to verify a computer down to physics

Alternative Mizar proof checker (http://mizar.org/) written in Rust

Program for manipulating the Freespace model format .pof

The Lean version manager

A type checker for the Lean theorem prover

Lean Theorem Prover

Metamath source file for logic and set theory

Baezon's Redstone Simulator