Julien Narboux
- Proof-checking Euclid
2017/10/02 by Michael Beeson, Beeson, Michael, Julien Narboux +3 · 1 citation
Computer Science · Mathematics · #Mathematics, Computing, and Information Processing #Mathematics and Applications #History and Theory of Mathematics