Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@hivert
hivert authored Jan 22, 2024
1 parent b77c3d7 commit 93adb4d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Formalisation of (algebraic) combinatorics in Coq/MathComp.
Authors
========================================================================

Florent Hivert <Florent.Hivert@lri.fr>
Florent Hivert <Florent.Hivert@lisn.fr>

Contributors:

Expand All @@ -18,6 +18,7 @@ Contributors:

This library was supported by additional discussions with:

- Kazuhiko Sakaguchi (port on MathComp2 / Hierarchy Builder)
- Georges Gonthier
- Assia Mahoubi
- Pierre Yves Strub
Expand Down

0 comments on commit 93adb4d

Please sign in to comment.