2 search results for "tag:"keyword: group theory""

Showing 1 - 2
  1. coq-group-theory

    No documentation

    Elements of Group Theory
    keyword: Group Theory category: Mathematics/Algebra
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-groups

    No documentation

    An exercise on groups
    keyword: group theory category: Miscellaneous/Coq Use Examples
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019