The LFSC proof checker is a proof checker for formal proofs in the LFSC format
Switch branches/tags
Nothing to show
Clone or download
Latest commit 12efdd9 Mar 15, 2016
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
LICENSE Initial commit Mar 14, 2016