yabs.io

Yet Another Bookmarks Service

[https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/] - 2026-08-18 22:28:44 - public:mzimmerm

[https://math-ai-org.github.io/mathcode/] - 2026-08-16 12:48:49 - public:mzimmerm

ai, todo, theorem, solve, math, lean, good - 7 | id:1553268 -

[https://en.wikipedia.org/wiki/Lean_(proof_assistant)] - 2026-03-24 20:52:26 - public:mzimmerm

Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition

[https://lean-lang.org/] - 2024-08-14 13:01:33 - public:mzimmerm

lean, program, language - 3 | id:1492757 -

With marked bookmarks

Mark all

| (+) | |

JSON XML RSS