mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-29 12:06:57 -05:00
9 lines
284 B
Markdown
9 lines
284 B
Markdown
---
|
|
title: Automated Theorem Proving
|
|
description: Notes about Automated Theorem Proving
|
|
---
|
|
|
|
More links coming soonish:
|
|
- [Definitional CNF](definitional-cnf/)
|
|
- [Davis Putnam](davis-putnam/)
|
|
- [Finding Counter-Models through Truth Functional Expansions](truth-functional-expansion/)
|