ln: blogs
2 blogs in the directory cover this.
Monogate — Research Blog
Monogate Research: one operator for all elementary functions. Blog posts on SuperBEST routing, ELC characterisation, Lean-verified theorems, and the EML framework.
nobe4
Recent content on nobe4
Machine-readable: this list of feeds, as JSON · their recent posts, as JSON Feed · all topics