GitHub repository: lecopivo/scientific-computing-lean
Primary language: JavaScript
Created: 2024-04-23T19:50:18Z
Description: work in progress book on Scientific Computing in Lean