Kona and Aleph at their core, with Lean and unifying concepts
2026-05-17
What are Kona and Aleph at their core, what do they each do in practice, how does Lean (the theorem prover) relate to them, and which unifying concepts explain where they overlap and differ?