Academic theorem prover based on proof nets, focused on LG, written in Haskell.