Bookmarks :: jakob.space

21Mar2026

Search

Navigation

Blog
Projects
About Me
Changelog

Network

Pleroma
Lobste.rs
Sr.ht
Blogroll
Bookmarks

Status

Last updated: 13FEB2026

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

Recent Comments

on: pushing-haunt-to-its-limitsmeI think the no-js comment...

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

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

Bookmarks :: Tagged "formal-methods"

Doing a math assignment with the Lean theorem prover

formal-methods, math, lean

© 2015 - 2026 Jakob L. Kreuze

JavaScript license information