OurBigBook
About
$
Donate
Sign in
Sign up
harmonic.fun
ID: harmonic-fun
Top articles
Latest articles
New article in topic
Show body
Body
0
harmonic.fun
by
Ciro Santilli
37
Created
2025-07-26
Updated
2025-12-13
harmonic.fun/
They seem to do
autoformalization
,
automated theorem proving
and
code generation
, and they use
Lean
a
lot.
Sounds
fun.
Total
articles
:
1
New to
topics
?
Read the docs here!