[FOM] Are there some more pure type system checkers available?

[Frédéric Blanqui]

See http://deducteam.gforge.inria.fr/dedukti/pts.html for some example.


Le 02/10/2018 à 01:48, Askar Safin a écrit :
> Frédéric Blanqui <frederic.blanqui at inria.fr>:
>> You can also use Dedukti (https://deducteam.github.io/) or its new
>> implementation Lambdapi (https://github.com/rlepigre/lambdapi) through
>> some shallow encoding
> Thanks for answer. But I meant something which describes PTS directly.
>
> ==
> Askar Safin
> http://vk.com/safinaskar