category-theory
door jwiegley · open-source Bouw & vastgoed · Bouwwerkinformatiemodellering (BIM)
54/100
Beschrijving
An axiom-free formalization of category theory in Coq for personal study and practical work
Atlas-score
- BSD-3-Clause (permissive)
- Last commit 0 days ago
- Top 26% by stars in Construction & Real Estate::Contract Management