On a Sandy Beach
My notes on building Pipi, a self-organising platform to support critical infrastructure
Pages
(Move to ...)
Ajabbi.com
Learn
Community
Handbook
Foundation
Research
Developer
Blog
Newsletter
▼
About
(Move to ...)
Intro
Pipi
Ajabbi.com
About Me
Life-long Learning
People
Glossary
Links
Tools
Redworks
Science
▼
Showing posts with label
prover
.
Show all posts
Showing posts with label
prover
.
Show all posts
Building the Reasoning Engine at Axiom
›
Mike's Notes This is a very worthy aim. I hope they succeed. I discovered this article from reading This Week In AI Resea...
Theorem Provers
›
Mike's Notes I have a fortnightly online meeting with my computer scientist friends Alex and Chris to discuss our various comput...
›
Home
View web version