Popular repositories Loading

1. coq-aern coq-aern Public

   Coq 7

2. continuity continuity Public

   Quantitative continuity and computable analysis in Coq

   Makefile 6 1

3. taylor_rocqs taylor_rocqs Public

   Rocq Prover 2

4. logistic_map_experiments logistic_map_experiments Public

   Iterating the logistic map with different computation precisions

   C++ 1

5. iRRAM-analytic iRRAM-analytic Public

   Analytic Functions and ODE Solving in iRRAM

   C++ 1

6. irram-pde irram-pde Public

   C++ 1 1