damirka 9579a430d7 attach theorem.lisp file		2021-08-24 22:34:00 +03:00
..
acl2.yml	attach theorem.lisp file	2021-08-24 22:34:00 +03:00
ci.yml	m1 test was infinitely looping	2021-08-18 15:37:42 -07:00
docs.yml	finish docs, setup ci to publish docs pages, test docs generation	2021-08-10 19:59:27 -07:00
markdown.yml	Update markdown script	2020-06-15 17:38:14 -07:00
release.yml	cleanup	2021-06-16 15:21:11 +03:00