GitHub - TypicalMath/stl: The Logic of Spacetime in Coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.gitignore		.gitignore
ST.v		ST.v
ST3.v		ST3.v
lang.v		lang.v

About

The Logic of Spacetime in Coq

coq logic sequent-calculus

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%