ticket summary type owner status created _changetime _description _reporter 1 Manticore parallel programming language talk request new 2011-04-22T07:26:48Z 2011-04-22T07:26:48Z I'd like to see a crash course in Manticore http://manticore.cs.uchicago.edu/. What do the programs look like? How well do they run? What's the biggest Manticore program so far? Ben Lippmeier 7 Abella theorem prover talk request new 2013-03-05T06:59:18Z 2013-03-05T06:59:18Z "Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding. http://abella-prover.org/" Ben Lippmeier