fixpoint
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Recursive definitions best practices | 3 | 335 | November 10, 2023 | |
Fixpoint with two decreasing arguments | 4 | 3089 | January 13, 2020 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Recursive definitions best practices | 3 | 335 | November 10, 2023 | |
Fixpoint with two decreasing arguments | 4 | 3089 | January 13, 2020 |