pi8027

View JSON Representation

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

• Name: Kazuhiko Sakaguchi
• Location: Lyon, France
• Kind: user
• Followers: 177
• Following: 13
• Total stars: 186
• Repositories count: 44
• Created at: 2022-11-02T19:02:06.935Z
• Updated at: 2025-03-27T20:38:04.570Z
• Last synced at: 2025-03-27T20:38:04.570Z

GitHub Sponsors Profile

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $1.00

Active Sponsors

Past Sponsors

Sponsor Breakdown

• User: 1