Looking at the homotopy type theory blog one can easily find a lot of library formalizing most of Homotopy Type Theory in Agda and Coq.
Is there anyone aware if there is any similar attempt to formalize HoTT in Idris?
↧
Channel:
Question and Answer » proof-assistants
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Question and Answer » proof-assistants
- Channel Number: 44314528
- Language: English
- Registered On: June 17, 2015, 8:22 pm
- Number of Articles: 9
- Latest Snapshot: June 17, 2015, 8:22 pm
- RSS URL: http://qandasys.info/tag/proof-assistants/feed
- Publisher: http://qandasys.info
- Description: Post your question and get the answer
- Catalog: //assistants1149.rssing.com/catalog.php?indx=44314528
© 2025 //www.rssing.com