yairchu / awesome-structure-editors

A list of projectional and structural editors
Creative Commons Zero v1.0 Universal
345 stars 14 forks source link

Add Holbert to active projects #10

Closed brendanzab closed 2 years ago

brendanzab commented 2 years ago

Holbert is a nifty tool for writing proofs about logical systems using natural deduction. I've found it pretty useful for understanding more about type theory!

yairchu commented 2 years ago

Thanks!