isabelle-git-commit-graph. Formal Definition of the Git Commit‑Graph Model

github.com/Kuniwak/isabelle-git-commit-graph
by @Kuniwak

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.