Daichi Yamamichi
- An Integrated Web Platform for the Mizar Mathematical Library
2022/09/21 by Hideharu Furushima, Furushima, Hideharu, Daichi Yamamichi +7 · 1 citation
Computer Science · Mathematics · #Mathematics, Computing, and Information Processing #History and Theory of Mathematics