correct-by-construction

slides

Correct by Construction : a presentation given at C++ on Sea 2020

How to download and setup correct-by-construction

Open terminal and run command

git clone https://github.com/mattgodbolt/correct-by-construction.git

git clone is used to create a copy or clone of correct-by-construction repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with correct-by-construction https://github.com/mattgodbolt/correct-by-construction/archive/master.zip

Or simply clone correct-by-construction with SSH

[email protected]:mattgodbolt/correct-by-construction.git

If you have some problems with correct-by-construction

You may open issue on correct-by-construction support forum (system) here: https://github.com/mattgodbolt/correct-by-construction/issues

Similar to correct-by-construction repositories

Here you may see correct-by-construction alternatives and analogs

perfslides vue-awesome-swiper WebSlides slides backslide reveal.js patat slideshow libreoffice-impress-templates gatsby-starter-deck asciidoctor-reveal.js s6 hacker-slides spectacle StageMate md2googleslides Presentation container.training decktape tensorflow-talk-debugging fusuma highlight Google-Drive-for-Mac reveal-ck iOS tslide IntroD3 TensorFlowKR-2017-talk-bestpractice FancyWalkthrough-Android watchpresenter