mohittkr
PhD candidate. Research in application of formal methods to scientific computing
University of Michigan, Ann Arbor
Pinned Repositories
wmsr_verification
verification of the W-MSR algorithm
cameleer_examples
Some examples for cameleer on floats, Maps and Sets
formaltransform
Sample LEAN project
iterative_convergence
Formalization of the iterative convergence error
Lax_equivalence
Formal proof of the Lax equivalence theorem for finite difference schemes.
mathcomp_matrix_example
A repository containing sample mathcomp matrix proods
mohittkr.github.io
Website
solar_water_heating
thomas_experiments
gospel
A tool-agnostic formal specification language for OCaml.
mohittkr's Repositories
mohittkr/mohittkr.github.io
Website
mohittkr/cameleer_examples
Some examples for cameleer on floats, Maps and Sets
mohittkr/wmsr_verification
verification of the W-MSR algorithm
mohittkr/formaltransform
Sample LEAN project
mohittkr/iterative_convergence
Formalization of the iterative convergence error
mohittkr/solar_water_heating
mohittkr/Lax_equivalence
Formal proof of the Lax equivalence theorem for finite difference schemes.
mohittkr/thomas_experiments
mohittkr/mathcomp_matrix_example
A repository containing sample mathcomp matrix proods