| hvm |
2024-08-09 20:00:44.299888 |
Victor Taelin |
repo |
882 |
GitHub Action |
fmt |
| TSPL |
2024-08-06 21:38:15.37485 |
Victor Taelin |
repo |
25 |
NA |
fmt |
| hvm-core |
2024-05-21 15:31:26.600884 |
Nicolas Abril |
NA |
NA |
NA |
fmt |
| hvm1 |
2024-02-22 19:12:08.081082 |
Victor Taelin |
repo |
NA |
NA |
fmt |
| interaction-calculus |
2023-05-19 18:14:50.079394 |
Victor Taelin |
repo |
47 |
NA |
fmt |
| kind2 |
2023-05-11 11:58:57.560218 |
Sofia Rodrigues |
repo |
613 |
GitHub Action |
fmt |
| HOPA |
2023-02-04 20:48:54.201224 |
Victor Taelin |
repo |
NA |
NA |
fmt |
| HOLP |
2023-02-04 16:30:32.858727 |
Victor Taelin |
repo |
NA |
NA |
fmt |
| highlight_error |
2022-07-14 19:06:58.067486 |
Victor Taelin |
repo |
5 |
NA |
fmt |
| formality |
2018-12-07 16:41:43.543236 |
Victor Taelin |
NA |
NA |
NA |
fmt |
| symmetric-interaction-calculus |
2018-10-23 18:48:37.964599 |
Victor Taelin |
repo |
47 |
NA |
fmt |
| abstract-calculus |
2018-09-18 18:45:55.772751 |
Victor Taelin |
repo |
3 |
NA |
fmt |
| absal |
2018-05-15 18:27:57.214006 |
Victor Taelin |
NA |
NA |
NA |
fmt |
