chrisd1977/system
View on GitHub ↗ ★ 3 C++
3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2024-07-16 · latest 2025-10-01
20082026
-
…of software so for that purpose it is highly useful. I also wrote a proof assistent myself ( https://github.com/chrisd1977/system ).
comment by cjfd · 2025-10-01 · in Type Theory and Functional Programming (1999) [pdf] -
…hidden in the implementation. I myself made an implementation of the Calculus of Constructions ( https://github.com/chrisd1977/system ) with the goal of having a foundation that is as small as possible while it still being practical to…
comment by cjfd · 2025-09-26 · in Identity Types -
▲ 2
Show HN: I wrote a toy proof assistentstory by cjfd · 2024-07-16 · 0 comments