Home My Page Projects CoqFiniteGroups
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Project Filelist for CoqFiniteGroups

File Release Notes and Changelog

Release Name: v1.0

Release Notes

version 1.0 of the proof od the Odd Order Theorem