]>
-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-- | 19104 | shannon.ma | blob | raw |
-rw-r--r-- | 18852 | substitution.ma | blob | raw |