Talk:LEGO (proof assistant)
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Bogus link to "Unified Theory of Dependent Types"
[edit]That link points to something unrelated. 185.242.230.97 (talk) 21:09, 3 January 2025 (UTC)