cd/entity/Jaume de Dios· home› entities› Jaume de Dios
grep -l @jaume de dios /news/*.json | wc -l → 1

Jaume de Dios

mentions 1 type Person feed RSS

// recent coverage 1 mentions

02:40
2026-08-19
terrytao.wordpress.com
ai-tools

Palomar – a registry of Lean verified mathematics

The Palomar registry of Lean verified mathematics, incubated by the Lean FRO and ICARM, is now open for submissions, aiming to serve as a preprint server for Lean proofs by checking that formalized st…

// co-occurs with top 7 entities
Palomar 1 Lean FRO 1 ICARM 1 Terence Tao 1 Jeremy Avigad 1 Matthew Ballard 1 Nestor Guillen 1
// topics top 2 topics
ai tools 1 ai research 1