dafny-lang/blog

This is stars and forks stats for /dafny-lang/blog repository. As of 24 Apr, 2024 this repository has 0 stars and 2 forks.

Blog The Dafny blog Running the blog locally If it's the first time make sure you have Bundler installed. Then, run in the directory: bundle install If this fails, you might have an old Ruby version installed. Consider installing a Ruby version manager like asdf, or rbenv to ensure you install the latest Ruby version through that version manager. To run the server, bundle exec jekyll server --future and then navigate to http://127.0.0.1:4000/blog/. When you modify files, the website is automatically...