Deducteam / Logipedia

An encyclopedia of proofs

56 stars 11 forks source link

Open francoisthire opened 4 years ago

francoisthire commented 4 years ago

It is not finished but a first pass toward Dedukti 2.7 API.

Known Issue

A call to the former Env.init was down as a side effect to do something I don't understand