MADEinPARIS
- Karma
- 54
- Created
- 4 years ago
Recent Submissions
- 1. ▲ Chasing the Moon's Shadow (apod.nasa.gov)
- 2. ▲ Hit anything. Discover how it rings (fraware.github.io)
- 3. ▲ Open computational evidence infrastructure for Lean (github.com)
- 4. ▲ AIs-welcome Lean library downstream of Mathlib (github.com)