jeffshrager/IPL-V
View on GitHub ↗ ★ 13 TeX archived
4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2025-04-28 · latest 2026-03-09
20082026
-
The header URL got trashed use: https://github.com/jeffshrager/IPL-V/
comment by abrax3141 · 2026-03-09 · in Logic Theorist Reanimated in IPL-V -
BTW, squashed the bug, and now it's producing complete and correct results! https://github.com/jeffshrager/IPL-V/blob/master/major_resul... (Well, there's a minor printout issue, but the proofs are working correctly!)
comment by abrax3141 · 2026-03-09 · in Logic Theorist Reanimated in IPL-V -
▲ 5
Logic Theorist Reanimated in IPL-Vstory by abrax3141 · 2026-03-09 · 3 comments
-
The linked github repo for an easier-to-skim start https://github.com/jeffshrager/IPL-V
comment by pvg · 2025-04-28 · in Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]