Notebooks
Blog
Blogroll
About
Currently
Incoming

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
Welcome!
A short introduction to Coq
Proof assistant
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.