Explore projects

Updated

Updated

Updated

Updated

Updated

Updated

A Coq formalization of the HM logic of open bisimulations in picalculus, developed originally by Frederik Haselmeier’s as a part of his MSc thesis with a specific take on the locally nameless approach (called $LN_\pi$ by Frederik)
Updated 
Updated



Experimental Haskell implementation of latticevalued resolution.
Updated 
Updated


Updated

Updated


Updated

Updated