compiler.lean
compiler.lean copied to clipboard
jdan
A formally verified compiler for a simple language with numbers and sums
Results
0
compiler.lean issues
Sort by
recently updated
recently updated
newest added