Add blog post on interfaces for understanding cvc5 (#21) · cvc5/cvc5.github.io@d7580aa · GitHub

Commit

Add blog post on interfaces for understanding cvc5 (#21)

Browse files

* Add blog post on interfaces

* Bullet style

* More

* More

* More

* More

* More

* More

* More

* More

* More

* More

* More

* Minor

* Update 2024-4-15-interfaces-for-understanding-cvc5.md

typo

* Update 2024-4-15-interfaces-for-understanding-cvc5.md

typo

* Address

* More

* More

---------

Co-authored-by: Amalee Wilson <[email protected]>

Loading branch information

ajreynol and amaleewilson authored Apr 24, 2024

1 parent 876f172 commit d7580aa