blog/assets/js/d309b5b1.924b0302.js
github-actions[bot] 0b9bf3d392 deploy: dadb0d51f7
2023-11-28 18:40:59 +00:00

1 line
No EOL
592 B
JavaScript

"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"}}}')}}]);