List Question
10 TechQA 2025-01-01 22:31:09Statically balanced trees in Agda
265 views
Asked by Benjamin Hodgson
How to compare two sets in Agda?
694 views
Asked by ajayv
How can i change working of forall in agda?
201 views
Asked by ajayv
How to use Logical AND operation between two sets in agda?
180 views
Asked by ajayv
How to reconstruct with Agda the proof of a theorem produced by one ATP
181 views
Asked by Juan Ospina
How this is working in agda?
170 views
Asked by Muktinath Vishwakarma
How to prove there exist a rational which is less than some rational in agda?
542 views
Asked by ajayv
Is there any non-trivial code that uses Data.Maybe.Is-just?
162 views
Asked by Helmut Grohne
Agda: Simulate Coq's rewrite tactic
632 views
Asked by Matt
Agda: proving that, when values are equal, their constructor arguments are equal
572 views
Asked by Joey Eremondi