Popular repositories Loading

1. wmsr_verification wmsr_verification Public

   verification of the W-MSR algorithm

   Coq 1

2. iterative_convergence iterative_convergence Public

   Formalization of the iterative convergence error

   Coq 1

3. mohittkr.github.io mohittkr.github.io Public

   Website

   HTML

4. thomas_experiments thomas_experiments Public

   GAP

5. mathcomp_matrix_example mathcomp_matrix_example Public

   A repository containing sample mathcomp matrix proods

   Coq

6. Lax_equivalence Lax_equivalence Public

   Formal proof of the Lax equivalence theorem for finite difference schemes.

   Coq