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