ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician
8 views
Skip to first unread message
Joao Marcos
Dec 11, 2021, 9:18:44 PM12/11/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
ALEXANDRIA is an ERC Advanced Grant with the aim of making
verification technology — originally designed to verify computer
systems — useful in the practice of professional mathematics.
https://lawrencecpaulson.github.io//2021/12/08/ALEXANDRIA.html
JM
verification technology — originally designed to verify computer
systems — useful in the practice of professional mathematics.
https://lawrencecpaulson.github.io//2021/12/08/ALEXANDRIA.html
JM
Reply all
Reply to author
Forward
0 new messages