{10} Talk Requests (2 matches)
| Ticket | Summary | Type | Owner | Status | Created |
|---|---|---|---|---|---|
| #1 | Manticore parallel programming language | talk request | new | Apr 22, 2011 | |
| #7 | Abella theorem prover | talk request | new | Mar 5, 2013 |
Note:
See TracReports for help on using and creating reports.
