Skip to content

Clarify structure

Clarify structure #27

coq-hammer-tactics

succeeded Feb 1, 2025 in 1m 42s