Custom Query (2 matches)
| Ticket | Summary | Owner | Type | Created | Modified | Ticket |
|---|---|---|---|---|---|---|
| #1 | Manticore parallel programming language | talk request | 13 years ago | 13 years ago | ||
| #7 | Abella theorem prover | talk request | 11 years ago | 11 years ago |
Note: See TracQuery
for help on using queries.
