https://blog.formallyapplied.com/ 2021-06-29T20:27:54-00:00 monthly 0.2 https://blog.formallyapplied.com/archives.html 2021-06-29T20:27:54-00:00 monthly 0.2 https://blog.formallyapplied.com/tags.html 2021-06-29T20:27:54-00:00 monthly 0.2 https://blog.formallyapplied.com/categories.html 2021-06-29T20:27:54-00:00 monthly 0.2 https://blog.formallyapplied.com/pages/about/ 2017-04-21T18:40:00+02:00 monthly 0.5 https://blog.formallyapplied.com/2021/01/bcov-bench/ 2021-01-28T10:20:00+01:00 monthly 0.8 https://blog.formallyapplied.com/2020/06/bcov-program-graphs/ 2020-06-16T10:20:00+02:00 monthly 0.8 https://blog.formallyapplied.com/2020/05/function-identification/ 2020-05-26T10:20:00+02:00 monthly 0.8 https://blog.formallyapplied.com/2017/11/approx-intro/ 2017-11-07T10:20:00+01:00 monthly 0.8 https://blog.formallyapplied.com/2017/05/ub-in-wild/ 2017-05-25T10:20:00+02:00 monthly 0.8 https://blog.formallyapplied.com/2017/05/gosat-faq/ 2017-05-10T10:20:00+02:00 monthly 0.8 https://blog.formallyapplied.com/2017/05/building-this-blog/ 2017-05-10T18:40:00+02:00 monthly 0.8 https://blog.formallyapplied.com/author/ammar-ben-khadra.html 2021-01-28T10:20:00+00:53 monthly 0.2