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