leopold/inductive-verification-lean
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
All Workflows Lean Action CI
21 workflow runs
Actor
All actors leopold
Status
All status Success Failure Canceled Skipped Waiting Running Blocked Canceling
Branch
All branches main
Proved basic properties of Blanchet protocol
#21:Commit e41142896f pushed by leopold
main
2026-03-12 20:45:43 +01:00
0s
View workflow file
Replaced some cases instances with grind
#20:Commit c705c80f23 pushed by leopold
main
2026-03-06 14:45:43 +01:00
0s
View workflow file
Replaced some cases instances with grind
#19:Commit 70ab4d3c70 pushed by leopold
main
2026-03-05 13:20:59 +01:00
0s
View workflow file
Replaced some cases instances with grind
#18:Commit 00542447b9 pushed by leopold
main
2026-03-05 13:16:18 +01:00
0s
View workflow file
Replaced some cases instances with grind
#17:Commit 136780bfda pushed by leopold
main
2026-03-05 13:12:37 +01:00
0s
View workflow file
Replaced some cases instances with grind
#16:Commit b5328b520b pushed by leopold
main
2026-03-05 12:59:27 +01:00
0s
View workflow file
Replaced some cases instances with grind
#15:Commit 7324a942d9 pushed by leopold
main
2026-03-05 12:56:04 +01:00
0s
View workflow file
Replaced some cases instances with grind
#14:Commit 6299c20d71 pushed by leopold
main
2026-03-05 10:32:13 +01:00
0s
View workflow file
Replaced some cases instances with grind
#13:Commit 943525dfb5 pushed by leopold
main
2026-03-05 10:13:05 +01:00
0s
View workflow file
Replaced some cases instances with grind
#12:Commit 4e97dd4028 pushed by leopold
main
2026-03-05 10:05:32 +01:00
0s
View workflow file
Added expand_parts_element macro
#11:Commit 80db88efbe pushed by leopold
main
2026-03-05 10:02:53 +01:00
0s
View workflow file
Added expand_parts_element macro
#10:Commit 58c093b18d pushed by leopold
main
2026-03-05 02:30:04 +01:00
0s
View workflow file
Added expand_parts_element macro
#9:Commit 4732515f78 pushed by leopold
main
2026-03-05 02:05:14 +01:00
0s
View workflow file
Added expand_parts_element macro
#8:Commit 2c84c4a975 pushed by leopold
main
2026-03-05 00:45:27 +01:00
0s
View workflow file
Added expand_parts_element macro
#7:Commit 0f017b08b5 pushed by leopold
main
2026-03-04 19:12:31 +01:00
0s
View workflow file
Simplified proofs in NS_Public
#6:Commit 7367681bc6 pushed by leopold
main
2026-03-04 18:44:53 +01:00
0s
View workflow file
Finished proff of NS
#5:Commit 96e5d59603 pushed by leopold
main
2026-02-26 20:45:43 +01:00
0s
View workflow file
Translated library, started to prove NS_Public
#4:Commit 31e638dd90 pushed by leopold
main
2026-02-24 14:45:43 +01:00
0s
View workflow file
Translated library Event
#3:Commit 61616dc3b1 pushed by leopold
main
2026-01-18 15:15:34 +01:00
0s
View workflow file
Translated Paulson's Message library
#2:Commit 2c7e00905a pushed by leopold
main
2026-01-16 21:15:34 +01:00
0s
View workflow file
Set up project
#1:Commit f25a2dda4e pushed by leopold
main
2025-09-23 11:14:33 +02:00
0s
View workflow file