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
Detailed source file information is not available for this build.

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)