Mercurial > hg > Papers > 2022 > ikki-master

directory /poster/modus-ponens/ @ 31:411d86a35dd3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file Makefile 652 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file modus-ponens.pdf 5002 -rw-r--r--
file modus-ponens.svg 24792 -rw-r--r--
file modus-ponens.tex 1404 -rw-r--r--