blog/assets/js/d309b5b1.924b0302.js

"use strict";(self.webpackChunkfi=self.webpackChunkfi||[]).push([[8908],{26102:t=>{t.exports=JSON.parse('{"title":"Algorithms and Correctness","description":"Materials related to basic ideas behind algorithms and proofs of their\\ncorrectness.\\n","slug":"/category/algorithms-and-correctness","permalink":"/algorithms/category/algorithms-and-correctness","navigation":{"previous":{"title":"Introduction","permalink":"/algorithms/"},"next":{"title":"Vague postconditions and proving correctness of algorithms","permalink":"/algorithms/algorithms-correctness/postcondition-ambiguity"}}}')}}]);