Cockerelto freeware
Cockerelto
Added: August 20, 2013 | Visits: 460
cockerel is a lesson planner and prover for math classes. Requires you have Coq 8.2pl1 or higher installed. Cockerel is a web based interactive mathematical lesson planner. It allows instructors to create mathematical lesson plans using wiki markup and then assign these to students. This code...
Platforms: *nix
License: Freeware | Size: 10.24 KB | Download (33): cockerel dev Download |