corpus.blog
Claim your blog
Record · corpus.blog/posts/01a0878d-5f23-7159-b769-f4f934f54454

Formalize all the things (in Agda)

jesper.sikanda.be · published undated

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jesper.sikanda.be Wayback capture
1blog citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
8
Words captured
18,310

Cited by 1 blog in 1 post

One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.

Blog
Newest citing post
Date
byorgey.github.io1 post
Proving the Fundamental Theorem of Arithmetic in Agda Read at the source ↗
—

Links from this post

Link
Host