Giters

jonsterling / coq-synthetic-realizability

Some experiments

Home Page:https://www.jonmsterling.com/coq-synthetic-realizability/toc.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jonsterling/coq-synthetic-realizability Issues

No issues in this repository yet.