drwxr-xr-x 2 edrx edrx 4096 Jun 7 2024 ./ drwxr-xr-x 323 edrx edrx 40960 Feb 19 04:21 ../ -rw-r--r-- 1 edrx edrx 1150 May 23 2025 2025-install.sh -rw-r--r-- 1 edrx edrx 2672 Feb 19 04:19 2025-install.sh.html -rw-r--r-- 1 edrx edrx 432 Mar 3 2024 README -rw-r--r-- 1 edrx edrx 1344 Feb 19 04:19 README.html -rw-r--r-- 1 edrx edrx 961 May 17 2024 checksyntax.lean -rw-r--r-- 1 edrx edrx 2004 Feb 19 04:19 checksyntax.lean.html -rw-r--r-- 1 edrx edrx 481 Mar 25 2024 comprehensions1.lean -rw-r--r-- 1 edrx edrx 1400 Feb 19 04:19 comprehensions1.lean.html -rw-r--r-- 1 edrx edrx 1987 Mar 10 2024 constrexprs1.lean -rw-r--r-- 1 edrx edrx 2959 Feb 19 04:19 constrexprs1.lean.html -rw-r--r-- 1 edrx edrx 2959 May 7 2024 distributivity1.lean -rw-r--r-- 1 edrx edrx 3940 Feb 19 04:19 distributivity1.lean.html -rw-r--r-- 1 edrx edrx 1309 Mar 29 2024 exprs1.lean -rw-r--r-- 1 edrx edrx 2036 Feb 19 04:19 exprs1.lean.html -rw-r--r-- 1 edrx edrx 19113 Mar 31 2024 feline1.lean -rw-r--r-- 1 edrx edrx 21650 Feb 19 04:19 feline1.lean.html -rw-r--r-- 1 edrx edrx 1224 Mar 9 2024 fpl_067.lean -rw-r--r-- 1 edrx edrx 3096 Feb 19 04:19 fpl_067.lean.html -rw-r--r-- 1 edrx edrx 1252 Mar 9 2024 fpl_071.lean -rw-r--r-- 1 edrx edrx 2485 Feb 19 04:19 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 4240 Feb 19 04:19 ioprocess1.lean.html -rw-r--r-- 1 edrx edrx 3867 Apr 8 2024 luatree.lean -rw-r--r-- 1 edrx edrx 7873 Feb 19 04:19 luatree.lean.html -rw-r--r-- 1 edrx edrx 3594 Mar 31 2024 luatree1.lean -rw-r--r-- 1 edrx edrx 6015 Feb 19 04:19 luatree1.lean.html -rw-r--r-- 1 edrx edrx 3615 Jun 7 2024 luatree2.lean -rw-r--r-- 1 edrx edrx 4395 Feb 19 04:19 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 Feb 19 04:19 macro1.lean.html -rw-r--r-- 1 edrx edrx 3650 Mar 11 2024 metam.lean -rw-r--r-- 1 edrx edrx 4577 Feb 19 04:19 metam.lean.html -rw-r--r-- 1 edrx edrx 2368 Mar 13 2024 overloaded1.lean -rw-r--r-- 1 edrx edrx 3868 Feb 19 04:19 overloaded1.lean.html -rw-r--r-- 1 edrx edrx 1845 Jul 2 2024 parsediagram1.lean -rw-r--r-- 1 edrx edrx 2857 Feb 19 04:19 parsediagram1.lean.html -rw-r--r-- 1 edrx edrx 2111 Mar 28 2024 propositional1.lean -rw-r--r-- 1 edrx edrx 2887 Feb 19 04:19 propositional1.lean.html -rw-r--r-- 1 edrx edrx 5448 Apr 6 2024 propsandproofs1.lean -rw-r--r-- 1 edrx edrx 6478 Feb 19 04:19 propsandproofs1.lean.html -rw-r--r-- 1 edrx edrx 3245 Apr 6 2024 propsandproofs2.lean -rw-r--r-- 1 edrx edrx 7942 Feb 19 04:19 propsandproofs2.lean.html -rw-r--r-- 1 edrx edrx 1384 Jul 1 2024 structures1.lean -rw-r--r-- 1 edrx edrx 3218 Feb 19 04:19 structures1.lean.html -rw-r--r-- 1 edrx edrx 28711 Mar 31 2024 syntax.lean -rw-r--r-- 1 edrx edrx 34398 Feb 19 04:19 syntax.lean.html -rw-r--r-- 1 edrx edrx 673 Apr 28 2024 telescopes1.lean -rw-r--r-- 1 edrx edrx 1941 Feb 19 04:19 telescopes1.lean.html