Search results

replace posnum.v by signed.v from the forthcoming coq-mathcomp-reals package?

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In coq-community/apery;

· affeldt-aist opened on Nov 16, 2024

Benchmark

Status: Open.

#18 In coq-community/apery;

· pi8027 opened on Oct 17, 2023

License

Status: Open.

#10 In coq-community/apery;

· Zimmi48 opened on Feb 3, 2022

Clean up extra_*.v material

Status: Open.

#7 In coq-community/apery;

· amahboubi opened on Jan 12, 2022

Missing opam package

Status: Open.

#6 In coq-community/apery;

· amahboubi opened on Jan 12, 2022