| Topic | Replies | Views | Activity |
| --- | --- | --- | --- |
| [Coq-avm library](https://forum.algorand.co/t/coq-avm-library/9504)<br>[General](https://forum.algorand.co/c/general/9) <br>- [smart-contracts](https://forum.algorand.co/tag/smart-contracts/24) | [7](https://forum.algorand.co/t/coq-avm-library/9504/1) | 473 | [May 2023](https://forum.algorand.co/t/coq-avm-library/9504/8) |