Alireza's starred repositories
tree-sitter
An incremental parsing system for programming tools
azure-quickstart-templates
Azure Quickstart Templates
agda-categories
A new Categories library for Agda
Coq-Equations
A function definition package for Coq
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Categories
A formalization of category theory in the Coq proof assistant.
CatLogNotes
Categorical Logic Notes
PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Oberwolfach-explorations
collaboration on work in progress
proofengineering-doc
Documentation related to proof engineering
lotro-core
Core classes for Lotro-related applications (such as lotro-companion)
strong-induction
Proof of strong induction in Coq