Skip to content

Actions: ZKForAll/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

renaming negMulLog_pos_of_pos_lt_one to negMulLog_pos at Entropy.lean Run pre-commit and in-place update PR on push #10: Commit e6cd7fd pushed by semaraugusto
23s info-theory/entropy
info-theory/entropy
23s
Update Mathlib/Analysis/SpecialFunctions/Log/NegMulLog.lean Run pre-commit and in-place update PR on push #9: Commit 0ad24c3 pushed by semaraugusto
27s info-theory/entropy
info-theory/entropy
27s
commiting output of lake exe mk_all Run pre-commit and in-place update PR on push #8: Commit 6c7aff0 pushed by semaraugusto
36s info-theory/entropy
info-theory/entropy
36s
adds lemma connecting shannonEntropy to KullbackLeibler divergence. R… Run pre-commit and in-place update PR on push #7: Commit c2db73d pushed by semaraugusto
29s info-theory/entropy
info-theory/entropy
29s
Merge branch 'master' into info-theory/entropy Run pre-commit and in-place update PR on push #6: Commit bcd5eca pushed by semaraugusto
29s info-theory/entropy
info-theory/entropy
29s
removes comments from Entropy Run pre-commit and in-place update PR on push #5: Commit cd3165c pushed by semaraugusto
35s info-theory/entropy
info-theory/entropy
35s
Merge branch 'master' into info-theory/entropy Run pre-commit and in-place update PR on push #4: Commit e4a30b5 pushed by semaraugusto
1m 34s info-theory/entropy
info-theory/entropy
1m 34s
removes forgotten #check lines Run pre-commit and in-place update PR on push #3: Commit 14a398f pushed by semaraugusto
34s info-theory/entropy
info-theory/entropy
34s
adds Entropy module to Mathlib.lean Run pre-commit and in-place update PR on push #2: Commit 08cedd7 pushed by semaraugusto
24s info-theory/entropy
info-theory/entropy
24s
Merge branch 'master' into info-theory/entropy Run pre-commit and in-place update PR on push #1: Commit 47f3623 pushed by semaraugusto
38s info-theory/entropy
info-theory/entropy
38s