View on Hacker News
Roles
Location
Fully-remote
Work setup
- Employment
- Full-time Employee
- Level
- Mid-level
Description
The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source library of formal mathematics known as Mathlib.
Similar jobs
-
Loading similar jobs...