Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Html Coq Open Source Projects

Open source projects categorized as Html Coq
Sf Zh ⭐ 704
《软件基础》中译版 Software Foundations Chinese Translation
most recent commit 2 years ago
Alectryon ⭐ 209
A collection of tools for writing technical documents that mix Coq code and prose.
total releases 7most recent commit 5 months ago
Sf ⭐ 204
Mirror of Software Foundations in PDF
most recent commit 4 years ago
Next 700 Module Systems ⭐ 69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
most recent commit 2 years ago
Csclub Coq Course Spring 2021 ⭐ 49
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
most recent commit a year ago
Coq 100 Theorems ⭐ 39
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
most recent commit a year ago
Coqdocjs ⭐ 35
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
most recent commit a year ago
Dot Iris ⭐ 29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
most recent commit 8 months ago
Coq2html ⭐ 26
An HTML documentation generator for Coq source files
most recent commit 3 months ago
Pl201602 ⭐ 22
SNU 2016 Fall 4190.310 Programming Language
most recent commit 7 years ago
Sf201802 ⭐ 14
컴퓨터 신기술 특강
most recent commit 5 years ago
Pl2016 ⭐ 13
most recent commit 8 years ago
Coqcheatsheet ⭐ 12
Reference sheet for the Coq language.
most recent commit 4 years ago
Pl2015spring ⭐ 10
SNU 4190.310, 2015 Spring
most recent commit 9 years ago
Coq Blog ⭐ 9
A blog about Coq
most recent commit 3 years ago
Lambda Club ⭐ 9
Material from presentations at the University of Kent's LambdaClub meetings
most recent commit 2 years ago
Coq Tutorial ⭐ 6
coq-tutorial
most recent commit 4 years ago
Tm Verification Framework ⭐ 6
Static version of https://github.com/uds-psl/coq-library-undecidabil for paper "Verified Programming of Turing Machines in Coq"
most recent commit 3 years ago
Coq A La Carte Cpp20 ⭐ 5
most recent commit 4 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.