DEV Community

#lean

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
fc0web profile

Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163

#math #lean #research #ai
Comments
18 min read
Carina Hong: Frontiers of AI for Mathematical Research
cognitalk profile

Carina Hong: Frontiers of AI for Mathematical Research

#ai #podcast #math #lean
Comments
2 min read
Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)
fc0web profile

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai
Comments
7 min read
Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)
fc0web profile

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai
Comments
9 min read
Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)
fc0web profile

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean
Comments
11 min read
Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)
fc0web profile

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research
Comments
11 min read
When Lean Proved My Durability Definition Too Easily
iroha1203 profile

When Lean Proved My Durability Definition Too Easily

#architecture #database #lean #computerscience
1
Comments
9 min read
đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.