proof-assistants topic

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

newca12

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

uwplse

A Rust/WASM implementation of homotopy.io

homotopy-io