Notebooks
Blog
Blogroll
About
Incoming
Reading

Automated theorem provers

2019-12-09 – 2022-08-09

compsci
language
networks
stringology

Maybe related 🤷:

Applied string mangling
Syntax
The language game
Combinatorics of note
MAPLE

Lean community
Lean
Coq - Wikipedia
Welcome! | The Coq Proof Assistant
A short introduction to Coq | The Coq Proof Assistant
Proof assistant - Wikipedia
Proof Assistants Stack Exchange

No comments yet. Why not leave one?

GitHub-flavored Markdown & a sane subset of HTML is supported.

Name

Website (optional)

Email (optional)

Fill in your email address if you want to get notified when someone replies to your comment. Your email address is safely stored with strong 256-bit AES encryption. You can unsubscribe from notification emails any time by following a link on the bottom of a reply notification email.

The Living Thing is a collection of the perpetually-in-progress learning notebooks of Dan MacKinlay.

All original opinions expressed here are my own and not the opinions of my clients, employers or anyone else. If you want to talk about stuff here, use the private contact form.
I may research your visits to this page using cookies, which helps me justify spending time on this project, but I encourage you to opt out of such tracking. If you would like to support my work you can tip me via Brave or other online means.

Made with and

The blog is written mostly on the lands of the Gadigal People of the Eora Nation, to whom I pay respects, and also cash.