Giters
Dongjae Lee (mori1116)

mori1116

Geek Repo

11

followers

11

following

143

stars

Home Page:https://mori1116.github.io/

Github PK Tool:Github PK Tool

Dongjae Lee's repositories

refinement-tutorial

Tutorial for refinement based verification

Language:CoqStargazers:5Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mori1116.github.io

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

paco

A Coq library for parametric coinduction

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

SQIR

A Small Quantum Intermediate Representation

Language:CoqLicense:MITStargazers:0Issues:0Issues:0