issues
search
gmalecha
/
mirror-core
A framework for extensible, reflective decision procedures.
Other
19
stars
5
forks
source link
Minify Proof
#59
Closed
gmalecha
closed
9 years ago
gmalecha
commented
9 years ago
Closed in 0c1a7b4
Closed in 0c1a7b4