CSLIB

Software / App

A project aiming to formally build computer science theory and a framework for reasoning about code, inspired by Mathlib.

Mentioned in 1 video

Videos Mentioning CSLIB

AI Safety Fact vs. Fiction | YC Paper Club

AI Safety Fact vs. Fiction | YC Paper Club

Y Combinator

A project aiming to formally build computer science theory and a framework for reasoning about code, inspired by Mathlib.