15Feb2026

Search

Navigation

Blog
Projects
About Me
Changelog

Network

Pleroma
Lobste.rs
Sr.ht

Status

Last updated: 13FEB2026

Reading: ...
Playing: Earthbound
Hacking: ...

Recent Comments

on: pushing-haunt-to-its-limitsJakobEvidently, yes!

on: pushing-haunt-to-its-limitsconman124The real question is, do ...

on: pushing-haunt-to-its-limitsPeterbest captcha ever!

Bookmarks :: Tagged "lean"

Doing a math assignment with the Lean theorem prover

formal-methods, math, lean

© 2015 - 2026 Jakob L. Kreuze

JavaScript license information