Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for html coq
coq
x
html
x
19 search results found
Sf Zh
⭐
704
《软件基础》中译版 Software Foundations Chinese Translation
Alectryon
⭐
209
A collection of tools for writing technical documents that mix Coq code and prose.
Sf
⭐
204
Mirror of Software Foundations in PDF
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.
Csclub Coq Course Spring 2021
⭐
49
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Coq 100 Theorems
⭐
39
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
Coqdocjs
⭐
35
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
Dot Iris
⭐
29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
Coq2html
⭐
26
An HTML documentation generator for Coq source files
Pl201602
⭐
22
SNU 2016 Fall 4190.310 Programming Language
Sf201802
⭐
14
컴퓨터 신기술 특강
Pl2016
⭐
13
Coqcheatsheet
⭐
12
Reference sheet for the Coq language.
Pl2015spring
⭐
10
SNU 4190.310, 2015 Spring
Coq Blog
⭐
9
A blog about Coq
Lambda Club
⭐
9
Material from presentations at the University of Kent's LambdaClub meetings
Coq Tutorial
⭐
6
coq-tutorial
Tm Verification Framework
⭐
6
Static version of https://github.com/uds-psl/coq-library-undecidabil for paper "Verified Programming of Turing Machines in Coq"
Coq A La Carte Cpp20
⭐
5
Related Searches
Javascript Html (53,392)
Html Css (19,526)
Python Html (11,009)
Html Bootstrap (5,651)
Php Html (5,615)
Html Theme (5,550)
Html Jekyll (5,387)
Html Jquery (5,205)
Html Markdown (5,082)
Html Reactjs (4,782)
1-19 of 19 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.