François-Xavier Wicht 11e8d469d2 Add LaTeX paper skeleton		2026-10-13 14:06:10 +02:00
..
proofs.tex	Add LaTeX paper skeleton	2026-10-13 14:06:10 +02:00