remove majority of content, now on the wiki

vprover / vprover.github.io

Other

0 stars 5 forks source link

remove majority of content, now on the wiki #13

Open MichaelRawson opened 6 months ago

MichaelRawson commented 6 months ago

@laurakovacs - as discussed, I've aggressively trimmed the website but left some bare bones there. Most of it now points to the wiki. If you're happy, please go ahead and merge.