There are quite a few competing systems at the moment, as with all things software, each one wants to be the standard :) https://jiggerwit.wordpress.com/2018/0

There are quite a few competing systems at the moment, as with all things software, each one wants to be the standard :) https://jiggerwit.wordpress.com/2018/04/14/the-architecture-of-proof-assistants/ https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...