coq-stdlib

Description:Stdlib for the Coq/Rocq Prover, used to be part of Coq
License: LGPL-2.1
Homepage:https://github.com/coq/stdlib
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
9.0.0 - - - - - - - - - - - - -

Also available in: Atom

Thank you!