arthuraa/beaq arthuraa/beaq

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language Coq
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arthuraa/beaq
github

arthuraa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Formalization of TeX in Coq

More Repositories

1

poleiro

A blog about Coq
Coq
47
star
2

extructures

Finite sets and maps for Coq with extensional equality
Coq
30
star
3

deriving

Class instances for Coq inductive types with little boilerplate
Coq
24
star
4

agda-hoas-demo

Experiments with higher-order abstract syntax in Agda
Agda
19
star
5

memory-safe-language

A formalization of properties of a simple imperative, memory-safe language.
Coq
19
star
6

coq-utils

Some basic libraries for Coq.
Coq
14
star
7

cryptis

Coq
9
star
8

cufp-2015-tutorial

An introductory tutorial for the Coq proof assistant.
Coq
9
star
9

finprob

Finite probability theory in Coq
Coq
6
star
10

sf-grader

Auto grader for Software Foundations
OCaml
4
star
11

cutelittlethings

C++
3
star
12

coq-cpo

A Coq library for CPOs
Coq
2
star
13

cis670-project

Oh yeah
OCaml
2
star
14

netter

Produce Prism models from a simple imperative language
Coq
2
star
15

project

C
1
star
16

plink

1
star
17

Projeto-mc823

1
star
18

mc326-bplus

C
1
star
19

ssr-intro

An introduction to Coq through the ssreflect library.
Coq
1
star
20

ll-cut-elim

Cut elimination for Intuitionistic Linear Logic in Coq
Coq
1
star
21

emacs-files

Personal configuration files for Emacs
Emacs Lisp
1
star
22

forest-explanations

Jupyter Notebook
1
star