research formalisation

One feed in the directory covers this.

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

Xena

Mathematicians learning Lean by doing.

Blogtagged by the author10 posts

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