GitHub - leanprover/lean4: Lean 4 programming language and theorem prover

GitHub Daily Trend - Podcast tekijän mukaan VoiceFeed - Torstaisin

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

https://github.com/leanprover/lean4 Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub.

Visit the podcast's native language site