Yiyuan Cao's repositories
iron
Coq formalizations of functional languages.
Language:CoqNOASSERTION000
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Language:HaskellMIT000
ltl-visualizer
An interactive visualizer for linear temporal logic (LTL)
Language:ReScriptMPL-2.0000
ott-paper-template
A template for writing papers using Ott (https://github.com/ott-lang/ott)
Language:TeX000
Language:CSSMIT000