Commit 2025-02-03 07:17 5968bbe1

View on Github →

doc(docs/1000.yaml): remove incorrect description (#21248) In my previous PR, I added incorrect description to Smn theorem. Nat.Partrec' is different from the definition of usual partial recursive functions, because it does't allow recursion on partial recursive functions.

Estimated changes