GA

Enrico Tassi

I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

Inria Sophia-Antipolis

Website

Joined August 2011

102 Followers

2 Following

AI Insights & Achievements

41/ 100

Consistency

13 day streak.

Veteran

Coding for 15 years.

Influencer

102 followers.

Organizations

RO MA

Public Repos

116

Total Stars

47

Total Forks

11

Public Gists

1

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 8th, 2026 • 3 contributions

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

Most active month: Apr 2025 • 278 contributions

IssueCommentEvent on rocq-prover/vsrocq

February 4th, 2026 9:31 PM

Pushed to main at FissoreD/paper-elpi-semantics

February 3rd, 2026 10:22 PM

Pushed to ho-check-ffun at FissoreD/elpi-formalization

February 2nd, 2026 9:31 PM

Pushed to ho-check-ffun at FissoreD/elpi-formalization

February 2nd, 2026 2:39 PM

Pushed to ho-check-ffun at FissoreD/elpi-formalization

February 2nd, 2026 2:13 PM

PullRequestReviewEvent on rocq-prover/rocq

January 30th, 2026 8:15 PM

PullRequestReviewCommentEvent on rocq-prover/rocq

January 30th, 2026 8:15 PM

PullRequestReviewEvent on rocq-prover/rocq

January 30th, 2026 8:05 PM

PullRequestReviewCommentEvent on rocq-prover/rocq

January 30th, 2026 8:05 PM

PullRequestReviewEvent on rocq-prover/rocq

January 30th, 2026 8:03 PM

GitHub Analytics

Enrico Tassi

Consistency

Veteran

Influencer