drwxr-xr-x 2 edrx edrx 4096 Jun 7 2024 ./ drwxr-xr-x 307 edrx edrx 36864 Dec 21 02:29 ../ -rw-r--r-- 1 edrx edrx 432 Mar 3 2024 README -rw-r--r-- 1 edrx edrx 1344 Dec 21 02:28 README.html -rw-r--r-- 1 edrx edrx 961 May 17 2024 checksyntax.lean -rw-r--r-- 1 edrx edrx 2004 Dec 21 02:28 checksyntax.lean.html -rw-r--r-- 1 edrx edrx 481 Mar 25 2024 comprehensions1.lean -rw-r--r-- 1 edrx edrx 1400 Dec 21 02:28 comprehensions1.lean.html -rw-r--r-- 1 edrx edrx 1987 Mar 10 2024 constrexprs1.lean -rw-r--r-- 1 edrx edrx 2959 Dec 21 02:28 constrexprs1.lean.html -rw-r--r-- 1 edrx edrx 2959 May 7 2024 distributivity1.lean -rw-r--r-- 1 edrx edrx 3940 Dec 21 02:28 distributivity1.lean.html -rw-r--r-- 1 edrx edrx 1309 Mar 29 2024 exprs1.lean -rw-r--r-- 1 edrx edrx 2036 Dec 21 02:28 exprs1.lean.html -rw-r--r-- 1 edrx edrx 19113 Mar 31 2024 feline1.lean -rw-r--r-- 1 edrx edrx 21648 Dec 21 02:28 feline1.lean.html -rw-r--r-- 1 edrx edrx 1224 Mar 9 2024 fpl_067.lean -rw-r--r-- 1 edrx edrx 3095 Dec 21 02:28 fpl_067.lean.html -rw-r--r-- 1 edrx edrx 1252 Mar 9 2024 fpl_071.lean -rw-r--r-- 1 edrx edrx 2483 Dec 21 02:28 fpl_071.lean.html -rw-r--r-- 2 edrx edrx 12646314 Mar 13 2024 fplean4.pdf -rw-r--r-- 1 edrx edrx 2164 Apr 8 2024 ioprocess1.lean -rw-r--r-- 1 edrx edrx 4236 Dec 21 02:28 ioprocess1.lean.html -rw-r--r-- 1 edrx edrx 3867 Apr 8 2024 luatree.lean -rw-r--r-- 1 edrx edrx 7869 Dec 21 02:28 luatree.lean.html -rw-r--r-- 1 edrx edrx 3594 Mar 31 2024 luatree1.lean -rw-r--r-- 1 edrx edrx 6015 Dec 21 02:28 luatree1.lean.html -rw-r--r-- 1 edrx edrx 3615 Jun 7 2024 luatree2.lean -rw-r--r-- 1 edrx edrx 4395 Dec 21 02:28 luatree2.lean.html -rw-r--r-- 2 edrx edrx 35509 Jun 7 2024 luatree2.lean.pyg.html -rw-r--r-- 1 edrx edrx 634 Mar 10 2024 macro1.lean -rw-r--r-- 1 edrx edrx 1608 Dec 21 02:28 macro1.lean.html -rw-r--r-- 1 edrx edrx 3650 Mar 11 2024 metam.lean -rw-r--r-- 1 edrx edrx 4577 Dec 21 02:28 metam.lean.html -rw-r--r-- 1 edrx edrx 2368 Mar 13 2024 overloaded1.lean -rw-r--r-- 1 edrx edrx 3864 Dec 21 02:28 overloaded1.lean.html -rw-r--r-- 1 edrx edrx 1845 Jul 2 05:38 parsediagram1.lean -rw-r--r-- 1 edrx edrx 2857 Dec 21 02:28 parsediagram1.lean.html -rw-r--r-- 1 edrx edrx 2111 Mar 28 2024 propositional1.lean -rw-r--r-- 1 edrx edrx 2887 Dec 21 02:28 propositional1.lean.html -rw-r--r-- 1 edrx edrx 5448 Apr 6 2024 propsandproofs1.lean -rw-r--r-- 1 edrx edrx 6478 Dec 21 02:28 propsandproofs1.lean.html -rw-r--r-- 1 edrx edrx 3245 Apr 6 2024 propsandproofs2.lean -rw-r--r-- 1 edrx edrx 7942 Dec 21 02:28 propsandproofs2.lean.html -rw-r--r-- 1 edrx edrx 1384 Jul 1 01:20 structures1.lean -rw-r--r-- 1 edrx edrx 3212 Dec 21 02:28 structures1.lean.html -rw-r--r-- 1 edrx edrx 28711 Mar 31 2024 syntax.lean -rw-r--r-- 1 edrx edrx 34398 Dec 21 02:28 syntax.lean.html -rw-r--r-- 1 edrx edrx 673 Apr 28 2024 telescopes1.lean -rw-r--r-- 1 edrx edrx 1941 Dec 21 02:28 telescopes1.lean.html