coq-big-o

? Instant PHP quality checks from your console

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

《软件基础》中译版 Software Foundations Chinese Translation

Award winning software library for nonlinear dynamics and nonlinear timeseries analysis

All the essential resources and template code needed to understand and practice data structures and algorithms in python with few small projects to demonstrate their practical application.

An introductory course to Homotopy Type Theory

Language for high-assurance and high-speed cryptography

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

1000 Project Ideas to be coded in any language

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]