Finish (mosty term) rewrites

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

Term rewrites now have some gaps that need filling - confirm after both languages are finished that the types for rewrites are correct

Ayertienna commented 11 years ago

done