Jon Eugster
|
2dde9482d2
|
bump to v4.7.0
|
2024-04-10 17:07:22 +02:00 |
|
Jon Eugster
|
dc2bcd6d3b
|
add test for ac_rfl
|
2024-02-29 17:19:30 +01:00 |
|
Jon Eugster
|
381a729f3e
|
bump to v4.6.0
|
2024-02-29 17:19:01 +01:00 |
|
joneugster
|
14ce186239
|
pretty-printer for not equal
|
2023-10-28 22:01:03 +02:00 |
|
joneugster
|
a851a29928
|
custom use tactic
|
2023-10-28 11:48:49 +02:00 |
|
joneugster
|
3333a85d02
|
fix induction
|
2023-10-15 01:16:09 +02:00 |
|
joneugster
|
21a36dc8d5
|
custom cases tactic
|
2023-10-14 21:13:06 +02:00 |
|
joneugster
|
dc5635b878
|
extend rfl to proof iff statement #18
|
2023-10-09 21:26:02 +02:00 |
|