From ac47c90f8f009c51bc587eda52e7b9b7bc4c9198 Mon Sep 17 00:00:00 2001 From: Andrew Snodgrass Date: Wed, 11 Dec 2024 03:51:29 -0600 Subject: [PATCH] Added link --- 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/