VeriFIT / mata

A fast and simple automata library
MIT License
14 stars 11 forks source link

Add publications section #400

Closed Adda0 closed 3 months ago

Adda0 commented 3 months ago

This PR adds section Publications to main README.md.