All Categories → No Category → ssreflect

Top 8 ssreflect open source projects

finmap
Finite sets, finite maps, multisets and generic sets
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
multinomials
Multinomials for the Mathematical Components library.
autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
odd-order
The formal proof of the Odd Order Theorem
Actuary
Formalization of the basic actuarial mathematics using Coq
1-8 of 8 ssreflect projects