Update README - Githubissues

jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

59 stars 3 forks source link

Closed mateidragony closed 1 month ago

mateidragony commented 1 month ago

Added Logos to Project
Added main logo to README.md
Added headers in README.md to divide content
- Proof Example
- Installation
- Getting Started
- Deduce Unicode
Added links to VSCode and Emacs deduce-modes