Yiyuan Cao's repositories
iron
Coq formalizations of functional languages.
Language:CoqNOASSERTION000
ltl-visualizer
An interactive visualizer for linear temporal logic (LTL)
Language:ReScriptMPL-2.0000
Language:CSSMIT000
Coq formalizations of functional languages.
An interactive visualizer for linear temporal logic (LTL)