leanprover / lean
96%
master: 85%

LAST BUILD BRANCH: parallel2
DEFAULT BRANCH: master
Repo Added
Files 42
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH lean3
branch: lean3
CHANGE BRANCH
x

Relevant lines Covered
313 RELEVANT LINES 299 COVERED LINES
30.96 HITS PER LINE
Source Files on lean3

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
4452 lean3 fix(kernel/expr, kernel/level): if caching is enabled during finalization, these modules would register a finalizer after finalization of the main thread The deleted lines were not really needed. They were added before we had the thread finalizat... push leodemoura travis-ci pending completion  
4219 lean3 feat(frontends/lean): force user to use `meta` keyword on meta inductive/structure/class Before this commit, we were inferring whether an inductive/structure/class were meta or not. This was bad since the user had no clue whether the type was tru... push leodemoura travis-ci pending completion  
3999 lean3 feat(bin): GDB pretty printer for lean::buffer push Kha travis-ci pending completion  
3722 lean3 feat(frontends/lean): add #elab command for testing new elaborator push leodemoura travis-ci pending completion  
See All Builds (3720)