GitHub repository: zhihengq/proofcompiler
Primary language: Java
Created: 2020-03-23T17:20:09Z
Description: A simple formal proof verifier and compiler for UW CSE 311