Questions tagged [smt]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
3 answers

How does Z3 "exhaustively search" real numbers?

I was looking at this tutorial: . It says "Proof = ...
llllvvuu's user avatar
  • 143
1 vote
1 answer

How does one translate Lean to Coq (and visa versa)?

I am interested in translated Lean to Coq and visa versa. One first reason is because I want to translate the miniF2F data set in Lean to Coq but lack the expertise to do it. Though in general I'd ...
Charlie Parker's user avatar