logic-programming
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Streams, Calculation Proofs, and Dafny |
|
0 | 1 | August 8, 2024 |
| Datafun language - functional datalog |
|
0 | 3 | March 19, 2024 |