From 5c9d4a6078745607d41512c6d509d0ada5429f39 Mon Sep 17 00:00:00 2001 From: Andrew Snodgrass Date: Wed, 11 Dec 2024 03:53:26 -0600 Subject: [PATCH] Added link (#155) --- LINKS.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/LINKS.md b/LINKS.md index edf287c..0e760ce 100644 --- a/LINKS.md +++ b/LINKS.md @@ -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/