| Name | Last modification | Size |
BeamerExample.pdf
|
5 years ago | 209 KB |
|
NaturalDeduction-Documentation.pdf
|
5 years ago | 367 KB |
|
NaturalDeduction.sty
|
5 years ago | 13 KB |