2 ms·Adding to your list, Z3, Lean, F*, Koka are all non-trivial I think.by nequo 2y agoAdding to your list, Z3, Lean, F*, Koka are all non-trivial I think.