Fix misprints, defunct URLs in README

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

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

170 stars 47 forks source link

Fix misprints, defunct URLs in README #52

Closed slivingston closed 5 months ago

slivingston commented 7 months ago

Thanks for releasing Scenic and VerifAI. This pull request fixes broken links in the documentation.