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