rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.

ElmerCSC / elmerfem

Elmer is an open-source multiphysics finite element software for simulating fluid dynamics, structural mechanics, electromagnetics, and more.