Giters

wmacmil / HoTTProofTranslation

A repository for GF translations between agda implementations and natural language presentations of HoTT proofs.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

HoTTProofTranslation

A repository for GF translations between agda implementations and natural language presentations of HoTT proofs.

About

A repository for GF translations between agda implementations and natural language presentations of HoTT proofs.

License:GNU General Public License v3.0

Languages

Language:Agda 94.7%Language:Grammatical Framework 5.3%