leanprover / lean
85%

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 master
branch: master
CHANGE BRANCH
x

7395

cron

travis-ci

Kha 
chore(*): release version 3.4.2

640 of 754 relevant lines covered (84.88%)

20.1 hits per line

Relevant lines Covered
754 RELEVANT LINES 640 COVERED LINES
20.1 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
7395 master chore(*): release version 3.4.2 cron Kha travis-ci pending completion  
5570 master refactor(system/io): use spawn_args structure in all process functions Pull #605 leodemoura travis-ci pending completion  
5242 master chore(tests/lean/run/1430.lean): repro for #1430 push Leonardo de Moura travis-ci pending completion  
5196 master chore(tests/lean/run/ginductive_induction_tactic): remove `using ...` Otherwise, we are not testing anything. push leodemoura travis-ci pending completion  
5089 master feat(frontends/lean): improve notation for converting infix notation into functions push leodemoura travis-ci pending completion  
4699 master chore(emacs/lean-util): delete old code Pull #1272 Sebastian Ullrich travis-ci pending completion  
223 master Encapsulate context implementation. The current implementantion based on lists may be a performance problem in the future, and we should be able to change it without affecting the whole code base. Signed-off-by: Leonardo de Moura <leonardo@micros... push leodemoura travis-ci pending completion  
3328 master test(simplifier19): nested fusion Pull #878 Daniel Selsam travis-ci pending completion  
3318 master test(tests/lean/simplifier_norm_num): disable test that is taking a long time push leodemoura travis-ci pending completion  
3222 master feat(hott/homotpy) add join operator, and prove two basic lemmas Pull #847 Jakob von Raumer travis-ci pending completion  
See All Builds (3720)