A completely-from-scratch hobby operating system

Erstellt 4y | 31.10.2021, 15:20:05


Melden Sie sich an, um einen Kommentar hinzuzufügen

Andere Beiträge in dieser Gruppe

Show HN: Formalizing Principia Mathematica using Lean

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Ru

25.04.2025, 20:30:10 | Hacker news