mirror of
https://github.com/mfocko/blog.git
synced 2024-11-14 01:59:42 +01:00
1 line
576 B
JavaScript
1 line
576 B
JavaScript
|
"use strict";(self.webpackChunkfi=self.webpackChunkfi||[]).push([[6554],{9278:e=>{e.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":"/ib002/category/algorithms-and-correctness","navigation":{"previous":{"title":"Introduction","permalink":"/ib002/"},"next":{"title":"Vague postconditions and proving correctness of algorithms","permalink":"/ib002/algorithms-correctness/postcondition-ambiguity"}}}')}}]);
|