Skip to content

Actions: coq-community/coq-100-theorems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

instructions for how to add a new statement Docker CI #33: Commit 36ba6d3 pushed by jmadiot
March 19, 2024 17:05 8m 2s master
master
March 19, 2024 17:05 8m 2s
Merge pull request #37 from int-y1/fix-typo Docker CI #32: Commit e8bad9f pushed by jmadiot
March 7, 2024 14:19 7m 45s master
master
March 7, 2024 14:19 7m 45s
Fix typos Docker CI #31: Pull request #37 opened by int-y1
March 6, 2024 02:44 7m 51s int-y1:fix-typo
int-y1:fix-typo
March 6, 2024 02:44 7m 51s
[birthday.v] use stdlib lemmas to prove collision_count and enumerate_no_collisions Docker CI #30: Pull request #36 opened by haansn08
July 8, 2023 18:00 18m 8s haansn08:collision_NoDup
haansn08:collision_NoDup
July 8, 2023 18:00 18m 8s