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