]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 661 | Makefile | blob | history | raw |
-rw-r--r-- | 21022 | duality.ma | blob | history | raw |
-rw-r--r-- | 10945 | natural_deduction.ma | blob | history | raw |
-rw-r--r-- | 5563 | natural_deduction1.ma | blob | history | raw |
-rw-r--r-- | 3615 | natural_deduction_fst_order.ma | blob | history | raw |
-rw-r--r-- | 19104 | shannon.ma | blob | history | raw |
-rw-r--r-- | 18852 | substitution.ma | blob | history | raw |