Sign in

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