This website requires JavaScript.
Explore
Help
Sign in
yiyunliu
/
sp-eta-postpone
Watch
1
Star
0
Fork
You've already forked sp-eta-postpone
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
256
commits
14
branches
0
tags
3.8
MiB
795b3c0ef0
Commit graph
2 commits
Author
SHA1
Message
Date
Yiyun Liu
795b3c0ef0
Change coqproject name
All checks were successful
ci/woodpecker/push/woodpecker
Pipeline was successful
Details
2025-07-10 18:40:56 -04:00
Yiyun Liu
2f04bcc75c
Add a mostly finished eta postponement proof
2025-01-25 16:08:21 -07:00