Giters

lecopivo / scientific-computing-lean

work in progress book on Scientific Computing in Lean

Home Page:https://lecopivo.github.io/scientific-computing-lean/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ScientificComputingInLean

About

work in progress book on Scientific Computing in Lean

https://lecopivo.github.io/scientific-computing-lean/

Languages

Language:JavaScript 80.2%Language:Lean 17.4%Language:CSS 2.3%Language:Emacs Lisp 0.1%