λ Dependent Types - estaugaard · Scour

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory λFunctional Programming

Getting Started With Provide/Inject In Vue.js 🌀Helix

certificates.dev·5h

Starmer on the Ropes Over Questions of Dishonesty 🎲Boardgames

novaramedia.com·1d

China’s expanding global campaign to silence dissent across borders 🛡️Digital Sovereignty

weeklyblitz.net·22h

‘Masters of the Universe’: Nicholas Galitzine, Camila Mendes and Idris Elba Star in Save the Children PSA (EXCLUSIVE) 🎲Boardgames

variety.com·2d

Lee Zii Jia Comes To The Rescue, Saves Malaysia In Thomas Cup Opener Against England 🎲Boardgames

weirdkaya.com·4d

Kersti Kaljulaid ousted as Estonian Olympic Committee president after bitter revolt 🦋ATProto

estonianworld.com·2d

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent 🔍Parsers

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda λFunctional Programming

A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect λFunctional Programming

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types λFunctional Programming

Benchmarking Testing in Automated Theorem Proving 🔍Parsers

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers 🔍Parsers

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving λFunctional Programming

Rethinking Wireless Communications through Formal Mathematical AI Reasoning λFunctional Programming

Log in to enable infinite scrolling