Skip to content

Philip Zucker personal blog

Translating My Z3 Tutorial to Coq

philipzucker.com published 2021-02-27

A blog about life, programming, math, logic, and physics.

Read on philipzucker.com → Discuss on HN (18) Archived copy

Points: 108
HN comments: 18
Submissions: 1
Cited by: 0 commenters

Software Engineering Math & Algorithms 2021

On Hacker News

Submitted	Title on HN	Points	Comments
Feb 27, 2021	Translating My Z3 Tutorial to Coq by philzook	108	18

More from Philip Zucker

All 7 posts →

The C bounded model checker: criminally underused

2024209 points125 comments Software Engineering details

SQL, Homomorphisms and Constraint Satisfaction Problems

2024153 points19 comments Databases & Data details

Compiling with Constraints

2024126 points36 comments Software Engineering details

Computational Category Theory in Python III: Monoids, Groups, and Preorders

2020119 points56 comments Math & Algorithms details

Linear Algebra of Types (2019)

2024115 points8 comments Math & Algorithms details

Why I think Haskell is the best general purpose language as of June 22 2019

2019101 points99 comments Programming Languages details

Related posts from the same era

The End of the Redis Adventure

Salvatore Sanfilippo (antirez)20202,282 points294 commentscited by 10 details

Deno 1.0

Deno Blog20202,081 points583 comments details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

The Day AppGet Died

Keivan Beigi20201,930 points655 commentscited by 17 details

Goodbye, Clean Code

Dan Abramov20201,678 points1,117 commentscited by 7 details