Hacker GitHub

← All repos

theoremprover-museum/LCF77

View on GitHub ↗ ★ 34 Common Lisp

The original Edinburgh LCF.

5 mentions on Hacker News by 4 people: 1 story, 4 comments · first 2016-12-16 · latest 2025-02-05

Mentions per year 5 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Theorem Prover Museum: The Original Edinburgh LCF
    story by nxobject · 2024-08-04 · 1 comment