GitHub - CharlesCNorton/devilsmachine-verified: Formalizing power-cognition containment systems. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
devilsmachine.v		devilsmachine.v

About

Formalizing power-cognition containment systems.

games proof earthbound

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%