Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt from the ALEXANDRIA Project.

Lawrence C. Paulson

Published in: CICM (2023)

Keyphrases

formal proof
theorem prover
small scale
real world

project management
case study
real life
web scale

european project
data sets
databases
data mining

multiscale
project managers
future plans