corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08c58-b41c-7158-9631-f8a7a133fd34

Opus 4.6 is great at formal proofs

tristan.st · published 17 February 2026

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 tristan.st Wayback capture
1blog citing
First cited
16 Feb 2026
Most recent
16 Feb 2026
Rank this month
not ranked
External links
14
Words captured
5,285

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
huschi.bearblog.dev1 post
The Final Benchmark Read at the source ↗
16 Feb 2026

Links from this post

Link
Host
https://code.claude.com/docs/en/agent-teams
code.claude.com
https://github.com/ccz181078/Coq-BB5/blob/main/CoqBB5/BB4/_BB4_Legacy_Monolith.v
github.com
https://mpri-prfa.github.io/files/project25.pdf
mpri-prfa.github.io
https://yforster.de/
yforster.de
https://guillaume.baudart.eu/papers/mathai_neurips24.pdf
guillaume.baudart.eu
https://arxiv.org/pdf/2509.12337
arxiv.org
https://theowinterhalter.github.io/
theowinterhalter.github.io
https://mpri-prfa.github.io/
mpri-prfa.github.io
https://en.wikipedia.org/wiki/Realizability
en.wikipedia.org
https://golem.ph.utexas.edu/category/2015/02/introduction_to_synthetic_math.html
golem.ph.utexas.edu
https://math.andrej.com/2021/02/03/synthetic-mathematics-with-excursion-to-computability/
math.andrej.com
https://ps.uni-saarland.de/~kirst/
ps.uni-saarland.de
https://wiki.bbchallenge.org/wiki/Fractran
wiki.bbchallenge.org
https://aristotle.harmonic.fun
aristotle.harmonic.fun
Elsewhere on tristan.st (11)