⛔⛔⛔⛔⛔⛔⛔ DEPRECATED ⛔⛔⛔⛔⛔⛔⛔

Theorem prover using sequent calculus, generates pretty proof trees in latex

Equality Saturation for a small pure language

Fopl project - Smart Editor

Bachelor project, using partial evaluation to optimize programs during runtime in a lazy functional language.