← Back

gslc

Geometry shorthand compiler. Write geometric proofs in shorthand and it expands them into full proofs. Made this because writing out full geometry proofs by hand was taking forever.

GitHub