mirror of
https://github.com/mfocko/blog.git
synced 2024-11-24 22:11:54 +01:00
1 line
No EOL
522 B
JavaScript
1 line
No EOL
522 B
JavaScript
"use strict";(self.webpackChunkfi=self.webpackChunkfi||[]).push([[3220],{28865:i=>{i.exports=JSON.parse('{"label":"postconditions","permalink":"/algorithms/tags/postconditions","allTagsPath":"/algorithms/tags","count":1,"items":[{"id":"algorithms-correctness/postcondition-ambiguity","title":"Vague postconditions and proving correctness of algorithms","description":"Debugging and testing with precise postconditions.\\n","permalink":"/algorithms/algorithms-correctness/postcondition-ambiguity"}],"unlisted":false}')}}]); |