Home » forums » LtU Forum

looking for dependent research proof system language implemented in C++

I am looking for a dependent research proof system language implemented in C++.

By AaronNGray at 2020-12-03 18:31 | LtU Forum | previous forum topic | next forum topic | other blogs | 2593 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Lean

The Lean proof assistant is implemented in C++.

By adrieng at Wed, 2020-12-16 14:12 | login or register to post comments