Skip to content

Partial proof of ISODateTimeToString_without_calendar_satisfies_rfc3339#21

Merged
voiestad merged 4 commits into
mainfrom
rfc3339-proof
Oct 31, 2025
Merged

Partial proof of ISODateTimeToString_without_calendar_satisfies_rfc3339#21
voiestad merged 4 commits into
mainfrom
rfc3339-proof

Commits

Commits on Oct 24, 2025