Ecosyste.ms sponsors
An open API service aggregating public data about GitHub Sponsors.
An open API service aggregating public data about GitHub Sponsors.
Postdoc in the Plume team at LIP, CNRS, and the ENS de Lyon | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection
Funding Links: https://github.com/sponsors/pi8027