Skip to content

feat: partial_fixpoint: partial functions with equations #7217

feat: partial_fixpoint: partial functions with equations

feat: partial_fixpoint: partial functions with equations #7217

Annotations

1 warning

check-lean-files

succeeded Dec 18, 2024 in 30s