Live software archaeology of FOL (theory of reasoning)

Show HN: Live software archaeology of FOL (theory of reasoning)

Live software archaeology of FOL (theory of reasoning) is a company in show hn launch.

Profile

I want to share this live playground for FOL, an old system from the late 70s. It has many precursor ideas about reasoning at the meta-level, including the now common proof by reflection which turns proving in the object theory into evaluation in the meta theory, and is common in Rocq, Lean, and other proof assistants.

The company sits in the show hn launch segment, where it competes on its core product or service.

The company is listed at the Show HN launch stage of development.

Website: io.livecode.ch/learn/namin/GETFOL