Navigation
Projects
Signed in as: AnonymousUser
Settings
Log out
Help
Support
Docs
Getting started
Status
Sign up
Log in
CORE-verifier
EN
A constructive proof verifier for predicate logic
programming-language
proof-assistant
Maintainers
Repository
been-jamming/CORE
Versions
2
Builds
166
View docs
Version
All versions
master
latest
Privacy
Any
Public versions
Private versions
Visibility
Any
Hidden versions
Visible versions
Sort by
Recently built
Least recently built
Frequently built
Least frequently built
Name
Name (descending)
master
Last built 1 year, 8 months ago
CORE-verifier
#25770672
CORE-verifier #25770672
1 year, 8 months ago
1 seconds
