3 ms·
Not quite lisp syntax, but not far off: https://github.com/Kindelia/Kind2 https://github.com/Kindelia/Kind2
by smaddox 4y ago
Not quite lisp syntax, but not far off: https://github.com/Kindelia/Kind2 https://github.com/Kindelia/Kind2
loading thread…