Versions

Description

A constructive proof verifier for predicate logic

Repository

https://github.com/been-jamming/CORE.git

Project Slug

core-verifier

Last Built

12 hours, 2 minutes ago passed

Maintainers

Badge

Tags

programming-language, proof-assistant

Short URLs

core-verifier.readthedocs.io
core-verifier.rtfd.io

Default Version

latest

'latest' Version

master