corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08798-eca8-728e-ace6-9780052efdd8

50 years of proof assistants

Machine Logic · published 5 December 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at lawrencecpaulson.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
57
Words captured
3,378

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://sites.stat.columbia.edu/gelman/research/published/bell.pdf
sites.stat.columbia.edu
https://spectrum.ieee.org/xerox-parc
spectrum.ieee.org
https://link.springer.com/book/10.1007/3-540-09724-4
link.springer.com
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-20.html
cl.cam.ac.uk
https://www.cambridge.org/gb/universitypress/subjects/computer-science/programming-languages-and-applied-logic/logic-and-computation-interactive-proof-cambridge-lcf
cambridge.org
https://doi.org/10.1016/0167-6423(85
doi.org
https://isabelle.in.tum.de/dist/library/HOL/HOL-ex/Unification.html
isabelle.in.tum.de
https://doi.org/10.48456/tr-54
doi.org
https://github.com/theoremprover-museum/HOL88
github.com
https://doi.org/10.1145/3386336
doi.org
https://www.lfcs.inf.ed.ac.uk/software/ML/
lfcs.inf.ed.ac.uk
https://rdcu.be/eR7e8
rdcu.be
https://rdcu.be/eR7gl
rdcu.be
https://www.cl.cam.ac.uk/~lp15/Grants/holisa.html
cl.cam.ac.uk
https://arxiv.org/abs/cs/9612104
arxiv.org
https://www.techradar.com/news/computing-components/processors/pentium-fdiv-the-processor-bug-that-shook-the-world-1270773
techradar.com
https://doi.org/10.48456/tr-408
doi.org
https://link.springer.com/book/10.1007/978-1-4471-1591-5
link.springer.com
https://doi.org/10.48456/tr-396
doi.org
https://proofgeneral.github.io
proofgeneral.github.io
https://doi.org/10.3233/JCS-1998-61-205
doi.org
https://doi.org/10.48550/arXiv.2105.06319
doi.org
https://rdcu.be/eSgTy
rdcu.be
https://doi.org/10.1112/S1461157000000449
doi.org
https://arxiv.org/abs/cs/0509025
arxiv.org
https://rdcu.be/eShga
rdcu.be
https://rdcu.be/eShzn
rdcu.be
https://doi.org/10.1145/3290384
doi.org
https://doi.org/10.1109/SEFM.2004.1347524
doi.org
https://doi.org/10.1145/1629575.1629596
doi.org
https://sel4.systems
sel4.systems
https://doi.org/10.1007/3-540-10886-6
doi.org
https://inria.hal.science/hal-01238879v1
inria.hal.science
https://cakeml.org
cakeml.org
https://doi.org/10.1145/3437992.3439915
doi.org
https://www.cse.chalmers.se/~myreen/
cse.chalmers.se
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-765.html
cl.cam.ac.uk
https://doi.org/10.1145/2364527.2364545
doi.org
https://rdcu.be/eSZwv
rdcu.be
https://arxiv.org/abs/1405.7012
arxiv.org
https://github.com/flyspeck/flyspeck
github.com
https://doi.org/10.1145/2480359.2429071
doi.org
https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/
cl.cam.ac.uk
https://xenaproject.wordpress.com/what-is-the-xena-project/
xenaproject.wordpress.com
https://lean-lang.org
lean-lang.org
https://leanprover-community.github.io/blog/posts/lte-final/
leanprover-community.github.io
https://doi.org/10.1145/3133933
doi.org
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
cl.cam.ac.uk
https://doi.org/10.1007/978-3-030-99336-8_7
doi.org
https://doi.org/10.1109/SP40000.2020.00055
doi.org
https://webassembly.org
webassembly.org
https://doi.org/10.1145/3167082
doi.org
https://www.aboutamazon.com/news/aws/aws-graviton-5-cpu-amazon-ec2
aboutamazon.com
https://www.youtube.com/watch?v=hqqKi3E-oG8
youtube.com
https://www.amazon.science/blog/formal-verification-makes-rsa-faster-and-faster-to-deploy
amazon.science
https://era.ed.ac.uk/handle/1842/504
era.ed.ac.uk
https://doi.org/10.1007/978-3-030-99336-8_8
doi.org