zenon-prover/zenon - GitHub Explorer | GitHub Explorer | Trending

Stars

16

Forks

1

Watchers

16

Open Issues

1

Repository Health Score

🧡

65/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

make clean: remove more coq-generated files

Damien Doligez•4 years ago

9c17eaeView on GitHub

remove broken symlink

Damien Doligez•4 years ago

25e9ac5View on GitHub

remove obsolete .svnignore files

Damien Doligez•4 years ago

bad2138View on GitHub

Merge pull request #2 from johnyf/cr_and_trailing

Damien Doligez•4 years ago

d27c233View on GitHub

change script encoding from Latin1 to UTF-8

Damien Doligez•4 years ago

6dc7b79View on GitHub

STY: rm trailing character ` `

Ioannis Filippidis•4 years ago

e20d2faView on GitHub

REF: replace `echo` CR with `printf` in `test/Makefile`

Ioannis Filippidis•4 years ago

b905e5eView on GitHub

REF: replace CRLF with LF in `www/index.html`

Ioannis Filippidis•4 years ago

05bfd01View on GitHub

update version numbers for release 0.8.5

Damien Doligez•5 years ago

f1f5d7aView on GitHub

Updated to work with latest OCaml (4.11.1) and Coq (8.12.0).

Damien Doligez•5 years ago

bd9ef96View on GitHub

update version numbers for release

Damien Doligez•7 years ago

071e54aView on GitHub

ignore coq-generated files

Damien Doligez•8 years ago

5be170eView on GitHub

remove old svn file

Damien Doligez•8 years ago

883a97aView on GitHub

adapt to OCaml 4.06.0 (cont.)

Damien Doligez•8 years ago

fdb6c3eView on GitHub

remove CVS version markers

Damien Doligez•8 years ago

3f2a9a1View on GitHub

View all commits

GitHub Explorer

zenon

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues