FG

François G. Dorais

Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

Burlington, Vermont, USA

Website

Joined January 2013

44 Followers

4 Following

AI Insights & Achievements

51/ 100

Consistency

27 day streak.

Veteran

Coding for 13 years.

Public Repos

41

Total Stars

111

Total Forks

14

Public Gists

3

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 24th, 2026 • 8 contributions

Most active week: Nov 17–Nov 23 • 35 contributions

Most active month: Nov 2025 • 111 contributions

Pushed to nightly-testing at fgdorais/lean4-unicode-basic

February 8th, 2026 9:08 AM

Pushed to main at fgdorais/algebra4

February 7th, 2026 7:58 PM

Pushed to update-toolchain-v4.28.0-rc1 at fgdorais/algebra4

February 7th, 2026 7:55 PM

Pushed to aliu/equals at plp127/batteries

February 7th, 2026 7:37 PM

Pushed to aliu/equals at plp127/batteries

February 7th, 2026 7:27 PM

PullRequestReviewEvent on leanprover-community/batteries

February 7th, 2026 7:17 PM

Pushed to batteries-pr-testing-1332 at leanprover-community/mathlib4-nightly-testing

February 7th, 2026 7:13 PM

labeled pull request in leanprover-community/batteries

January 29th, 2026 9:27 PM

unlabeled pull request in leanprover-community/batteries

January 29th, 2026 9:27 PM

IssueCommentEvent on leanprover-community/batteries

February 7th, 2026 7:09 PM

GitHub Analytics

François G. Dorais

Consistency

Veteran