projects / helm.git / tree
| -rw-r--r-- | 661 | Makefile | blob | raw |
| -rw-r--r-- | 22196 | duality.ma | blob | raw |
| -rw-r--r-- | 12013 | natural_deduction.ma | blob | raw |
| -rw-r--r-- | 6563 | natural_deduction1.ma | blob | raw |
| -rw-r--r-- | 8407 | natural_deduction_fst_order.ma | blob | raw |
| -rw-r--r-- | 9921 | natural_deduction_theories.ma | blob | raw |
| -rw-r--r-- | 20105 | shannon.ma | blob | raw |
| -rw-r--r-- | 19851 | substitution.ma | blob | raw |