The computer science behind the omega tactic Hi everyone…
0 reactions
The computer science behind the omega tactic
Hi everyone! I recently published a short free book exploring the computer science behind theorem provers. It is called Learning Lean Through Architecture and focuses entirely on how the omega tactic works under the hood. I used hand drawn illustrations and physical building metaphors to explain decidability finite automata and Presburger arithmetic in a highly visual way. You can view the free PDF at zenodo.org/records/21435216 http://zenodo.org/records/21435216 to read it. Feedback is always welcome and I hope you enjoy it!
#technology
Hi everyone! I recently published a short free book exploring the computer science behind theorem provers. It is called Learning Lean Through Architecture and focuses entirely on how the omega tactic works under the hood. I used hand drawn illustrations and physical building metaphors to explain decidability finite automata and Presburger arithmetic in a highly visual way. You can view the free PDF at zenodo.org/records/21435216 http://zenodo.org/records/21435216 to read it. Feedback is always welcome and I hope you enjoy it!
#technology
| 3,000 mlx | |
| 5 | |
| 0 |