Robuta

https://rocq-prover.org/doc/V8.11.0/stdlib/Coq.Strings.Ascii.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.18.0/stdlib/Coq.micromega.Fourier.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.11.2/stdlib/Coq.ssr.ssrbool.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.12.1/stdlib/Coq.setoid_ring.Ring.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.16.1/stdlib/Coq.ssrmatching.ssrmatching.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.15.2/stdlib/Coq.ssr.ssrbool.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.18.0/stdlib/Coq.micromega.OrderedRing.html Standard Library | The Coq Proof Assistant coq proof assistant standard library https://rocq-prover.org/doc/V8.18.0/stdlib/Coq.setoid_ring.Ring.html Standard Library | The Coq Proof Assistant coq proof assistant standard library