Skip to content

Commit

Permalink
Added link
Browse files Browse the repository at this point in the history
  • Loading branch information
@pointlander
pointlander committed Dec 11, 2024
1 parent 54f1625 commit ac47c90
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions LINKS.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,3 +19,5 @@ https://bitbucket.org/nadiapolikarpova/synquid
# Formality – An efficient programming language and proof assistant
https://news.ycombinator.com/item?id=18230148
https://github.com/maiavictor/formality

https://treecalcul.us/

0 comments on commit ac47c90

Please sign in to comment.