diff options
| author | Jakob L. Kreuze | 2026-02-19 13:14:56 -0500 |
|---|---|---|
| committer | Jakob L. Kreuze | 2026-02-19 13:51:00 -0500 |
| commit | d4a8c4775ef3c500d52dcbad97eaf1ba7349a221 (patch) | |
| tree | 4df34920bb09acd65e5bdf477b51f461c2211154 /posts/what-ive-learned-about-formal-methods.org | |
| parent | 995c709915957f9932ae0f3fa137b8bb9877886a (diff) | |
Provide our own default Gravatar icon
Diffstat (limited to 'posts/what-ive-learned-about-formal-methods.org')
0 files changed, 0 insertions, 0 deletions