Loreon
Labs
Platform
Docs
Home
Ecosystems
Rocq Prover
semantics-in-coq
A companion for the FLP class @ UNIBUC
Rocq Prover
Emerging
GitHub
Stars
2
Forks
—
Contributors
1
Last push
12mo ago
Recent commits
Latest commits.
Updated to latest Coq syntax
7086228
Traian-Florin Șerbănuță
12mo ago
Updated to latest versions of VSCoq and stdpp
a88b778
Traian-Florin Șerbănuță
12mo ago
Query satisfiability to its negative clause unsatisfiability
c4de912
Traian Florin Serbanuta
27mo ago
'Finished FOL' Started prolog
dad0b47
Traian Florin Serbanuta
27mo ago
FOL part done
87dd612
Traian Florin Serbanuta
27mo ago
Started definition for FOL
1a22e50
Traian Florin Serbanuta
27mo ago
Slight refactorings
ce4df2b
Traian Florin Serbanuta
27mo ago
Oracle-based proof of completeness
785efc6
Traian Florin Serbanuta
27mo ago
Top contributors
Builders behind this project.
traiansf
4 commits
