lean fro

2 feeds in the directory cover this.

Subscribe:.rss .atom .json .m3u .pls

nomeata’s mind shares

Joachim Breitners Denkblogade

Blog4 mentions15 posts

Leonardo de Moura

Blog posts and notes from Leonardo de Moura — creator of Lean and Z3.

Blog2 mentions10 posts

Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics