Provide 'Proof' object to users

UUDigitalHumanitieslab / parseport

Dutch sentence parser for Spindle + Æthel (and maybe others in the future).

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Provide 'Proof' object to users #10

Closed XanderVertegaal closed 5 months ago

XanderVertegaal commented 7 months ago

Idea from Kokos: some users may want to get access to the 'Proof' Python object to play around with it. Users will still need the Aethel library (after deserialising) for this.

Kokos will see if there is an easy way to serialise proofs to JSON.

XanderVertegaal commented 7 months ago

Kokos has added tooling for this in Aethel: https://github.com/konstantinosKokos/aethel/commit/836a21d14b620bb7afdf3ac818329a1f3484c8e2