projects / helm.git / tree
| -rw-r--r-- | 661 | Makefile | blob | raw |
| -rw-r--r-- | 21022 | duality.ma | blob | raw |
| -rw-r--r-- | 11014 | natural_deduction.ma | blob | raw |
| -rw-r--r-- | 5563 | natural_deduction1.ma | blob | raw |
| -rw-r--r-- | 7408 | natural_deduction_fst_order.ma | blob | raw |
| -rw-r--r-- | 8922 | natural_deduction_theories.ma | blob | raw |
| -rw-r--r-- | 19104 | shannon.ma | blob | raw |
| -rw-r--r-- | 18852 | substitution.ma | blob | raw |