GitHub - lecopivo/SciLean: Scientific computing in Lean 4 - discu.eu

Lobsters

SciLean: Scientific computing in Lean 4 https://github.com/lecopivo/SciLean 2 comments 29/7/2024 formalmethods , science

Linking pages

How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - lecopivo/SciLean: Scientific computing in Lean 4

See how to search.

Submit link to: