ammkrn/nanoda_lib
View on GitHub ↗ ★ 227 Rust
Library implementing type inference/checking functionality based on the Lean theorem prover
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-11-22 · latest 2026-08-16
20082026
-
…know enough to have an opinion about it (i.e. how on what layer those interactions happen(ed)) | https://github.com/ammkrn/nanoda_lib/pull/22 - "For example, pipeline wedges (execute this instruction and the core freezes and never executes…
comment by dev_dan_2 · 2026-08-16 · in A SAT Attack on Tarski's High School Algebra Problem -
…/github.com/leanprover/lean4/blob/3a3c816a27c0bd45471... [2] https://github.com/digama0/oleandump [3] https://github.com/ammkrn/nanoda_lib
comment by kmill · 2025-07-31 · in The Math Is Haunted -
…related questions come up feel free to contact me and I'll do my best to give a coherent answer: https://github.com/ammkrn/nanoda_lib This paper on Lean's type theory dovetails nicely with any of the kernel implementations:…
comment by lakecresva · 2020-11-22 · in Untangling Mechanized Proofs