aetilley/harrison-rust
View on GitHub ↗ ★ 23 Rust
Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)
3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2023-01-22 · latest 2026-05-21
20082026
-
…walking through the use of Herbrand Universes for a semi-decision procedure for first order logic: https://github.com/aetilley/harrison-rust/blob/main/Herbrand...
comment by AxEy · 2026-05-21 · in What Do Gödel's Incompleteness Theorems Mean? -
▲ 3
Show HN: An Automated Theorem Proving library inspired by a book by Harrisonstory by AxEy · 2023-02-24 · 0 comments
-
…for SAT solving and other things informed by John Harrison's text on Automated Theorem Proving. https://github.com/aetilley/harrison-rust This is largely for me to to learn Rust, but I think it may have the potential to turn into something…
comment by AxEy · 2023-01-22 · in Ask HN: Anyone doing some absurd stuff after getting laid off?