{8} Student projects (3 matches)

Student projects in LATIN

Ticket Summary Component Type Owner Status Created
#2 General completeness proofs framework student project fhorozal assigned 11/19/10
#3 The strength of definable models framework student project frabe new 11/19/10
#4 Write comorphisms in LATIN lf-atlas student project fhorozal accepted 11/19/10
Note: See TracReports for help on using and creating reports.