Popular repositories Loading

1. continuity continuity Public

   Quantitative continuity and computable analysis in Coq

   Makefile 6 1

2. coq-aern coq-aern Public

   Coq 6

3. logistic_map_experiments logistic_map_experiments Public

   Iterating the logistic map with different computation precisions

   C++ 1

4. iRRAM-analytic iRRAM-analytic Public

   Analytic Functions and ODE Solving in iRRAM

   C++ 1

5. irram-pde irram-pde Public

   C++ 1 1

6. taylor_rocqs taylor_rocqs Public

   Coq 1