Abstract is missing.
- Arithmetic in Metamath, Case Study: Bertrand's PostulateMario Carneiro. 3-18 [doi]
- Auto-hyperlinking the Stacks ProjectJohan Commelin, Josef Urban. 19-24 [doi]
- The SMGloM Project and SystemDeyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber. 25-28 [doi]
- Parsing Texts and Checking Proofs in LATEXRobert C. Neveln, Robert A. Alps. 29-43 [doi]
- A Web Environment for GeometryPedro Quaresma, Vanda Santos, Milena Maric. 44-49 [doi]
- Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof AssistantThéo Zimmermann, Hugo Herbelin. 50-62 [doi]