Skip to content

Actions: amirlb/equational_theories

Actions

Compile blueprint and paper

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint-paper.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GREEDY-GREEDY HYBRID: Refute 1516->255 (#1054) Compile blueprint and paper #3: Commit ee0c7b6 pushed by amirlb
February 6, 2025 06:37 1h 10m 57s main
main
February 6, 2025 06:37 1h 10m 57s
Misc proof clean-up, no functional change (#1016) Compile blueprint and paper #2: Commit 0925479 pushed by amirlb
December 11, 2024 10:36 1h 9m 6s main
main
December 11, 2024 10:36 1h 9m 6s
Fix 1516, 1323 imports; refactor 1323 blueprint (#1006) Compile blueprint and paper #1: Commit d7025d8 pushed by amirlb
December 9, 2024 21:00 1h 7m 48s main
main
December 9, 2024 21:00 1h 7m 48s