Skip to content

Actions: WegmannDavid/cslib

Actions

Build and Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
27 workflow runs
27 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
more explicit for performance Build and Deploy Documentation #27: Commit fb95372 pushed by chenson2018
1s main
main
1s
first pass at STLC cleaning Build and Deploy Documentation #26: Commit 661e569 pushed by chenson2018
1s main
main
1s
some initial golfing Build and Deploy Documentation #25: Commit 45c8992 pushed by chenson2018
1s main
main
1s
some formatting Build and Deploy Documentation #24: Commit 170f5e4 pushed by chenson2018
1s main
main
1s
Merge remote-tracking branch 'origin/main' Build and Deploy Documentation #23: Commit 575ef1d pushed by chenson2018
2s main
main
2s
changed soundness to use named hypotheses Build and Deploy Documentation #22: Commit bc91a81 pushed by WegmannDavid
1s main
main
1s
changed sn_abs_app_multiApp to named hypotheses Build and Deploy Documentation #21: Commit 04b2cc2 pushed by WegmannDavid
Skipped main
main
Skipped
simplified and renamed sn_abs_app_multiApp Build and Deploy Documentation #20: Commit c377e18 pushed by WegmannDavid
1s main
main
1s
simplified proofs a bit Build and Deploy Documentation #19: Commit 201752d pushed by WegmannDavid
1s main
main
1s
changed def to lemma in the appropriate place Build and Deploy Documentation #18: Commit 6646a8e pushed by WegmannDavid
1s main
main
1s
changed some formatting style Build and Deploy Documentation #17: Commit af74852 pushed by WegmannDavid
1s main
main
1s
ran lake exe mk_all --module Build and Deploy Documentation #16: Commit 7c4c5b4 pushed by WegmannDavid
1s main
main
1s
copied strong norm files from other branch Build and Deploy Documentation #15: Commit 3fe324e pushed by WegmannDavid
1s main
main
1s
feat: multiSubst (#410) Build and Deploy Documentation #14: Commit 6593225 pushed by WegmannDavid
1s main
main
1s
feat: classes for inference systems and logical equivalence (#398) Build and Deploy Documentation #13: Commit 89a116b pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #12: Commit eb94db0 pushed by WegmannDavid
1s main
main
1s
changes to MultiSubst.lean Build and Deploy Documentation #11: Commit 3c41d95 pushed by WegmannDavid
2s main
main
2s
chore(ci): split checkInitImports into its own test (#386) Build and Deploy Documentation #10: Commit b96a4cb pushed by WegmannDavid
1s main
main
1s
cleared out some lemmas and moved some others Build and Deploy Documentation #9: Commit f44e8b1 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #8: Commit 5bc38a3 pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #7: Commit 45996c9 pushed by WegmannDavid
1s main
main
1s
split over multiple files, without forgetting MultiSubst.lean Build and Deploy Documentation #6: Commit 2ff3359 pushed by WegmannDavid
2s main
main
2s
splitting strong norm development into multiple files Build and Deploy Documentation #5: Commit 0602c7e pushed by WegmannDavid
1s main
main
1s
Merge branch 'leanprover:main' into main Build and Deploy Documentation #4: Commit dbd8500 pushed by WegmannDavid
1s main
main
1s
finished proof, no sorries left, but the proofs are still messy Build and Deploy Documentation #3: Commit 01a58ba pushed by WegmannDavid
1s main
main
1s