added papers
This commit is contained in:
parent
b4ad2c6c52
commit
e9e21a56c1
3 changed files with 0 additions and 0 deletions
BIN
papers/mckinna-et-al-2017.pdf
Normal file
BIN
papers/mckinna-et-al-2017.pdf
Normal file
Binary file not shown.
BIN
papers/mckinna-pollack-PTS.pdf
Normal file
BIN
papers/mckinna-pollack-PTS.pdf
Normal file
Binary file not shown.
BIN
papers/pure-coq.pdf
Normal file
BIN
papers/pure-coq.pdf
Normal file
Binary file not shown.
Loading…
Add table
Reference in a new issue