projects / helm.git / tree
| -rw-r--r-- | 661 | Makefile | blob | raw |
| -rw-r--r-- | 21022 | duality.ma | blob | raw |
| -rw-r--r-- | 9442 | natural_deduction.ma | blob | raw |
| -rw-r--r-- | 1436 | natural_deduction_fst_order.ma | blob | raw |
| -rw-r--r-- | 19104 | shannon.ma | blob | raw |
| -rw-r--r-- | 18852 | substitution.ma | blob | raw |