Found 4 Documents (Results 1–4)
Filter Results by …
Author
- Tomescu, Alexandru Ioan (4)
- Milanič, Martin (3)
- Omodeo, Eugenio Giovanni (1)
- Rizzi, Romeo (1)
Serial
all
top 3
Software
- AEtnaNova (4)
- Referee (4)
- SETL (2)
- ACL2 (1)
- Archive Formal Proofs (1)
- Dijkstra Shortest Path (1)
- Isar (1)
- Mizar (1)