| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 01_basic_proof.txt | 1073 | log stats plain blame |
| -rw-r--r-- | 02_recursion_demo.txt | 640 | log stats plain blame |
| -rw-r--r-- | 03_data_demo.txt | 733 | log stats plain blame |
| -rw-r--r-- | 04_simple_functions.txt | 704 | log stats plain blame |
| -rw-r--r-- | README.md | 2741 | log stats plain blame |
| -rwxr-xr-x | run_tests.sh | 1012 | log stats plain blame |