Stream: math-comp devs

Topic: Abel package for 8.16

view this post on Zulip Karl Palmskog (Oct 24 2022 at 07:59):

Please go ahead and merge this if it looks good, it's the Abel package for 8.16: https://github.com/coq/opam-coq-archive/pull/2361

Last updated: Apr 19 2024 at 21:01 UTC