Select Git revision
Search by author
- Any Author
- authors
-
Alessio Coltellacci NotBad4U
-
Bernardo Borges bernborgess
-
Bruno Andreotti bandreotti
-
Chantal Keller ckeller
-
Fontaine Pascal Pascal.Fontaine
-
Haniel Barbosa hbarbosa
-
Hans-Jörg
hjsc
-
Lachnitt Lachnitt
-
Mallku Soldevila msoldevila
-
Mathias Fleury zmaths
- Apr 01, 2024
-
-
Hans-Jörg authored
-
- Mar 19, 2024
- Mar 08, 2024
-
-
Hans-Jörg authored
-
- Mar 05, 2024
- Feb 22, 2024
-
-
Hans-Jörg authored
-
- Jan 30, 2024
-
-
Hans-Jörg authored
-
- Jan 05, 2024
-
-
Hans-Jörg authored
-
- Dec 28, 2023
-
-
-
Hans-Jörg authored
-
- Dec 21, 2023
-
-
Hans-Jörg authored
-
- Jul 20, 2023
-
-
Haniel Barbosa authored
-
- May 13, 2023
-
-
Hans-Jörg authored
-
- Feb 17, 2023
-
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
- Feb 10, 2023
-
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
- adress normalizing of terms with context push (and other typos) - Remark on missing Gamma
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
-
Haniel Barbosa authored
-
Hans-Jörg Schurr authored
-
Hans-Jörg Schurr authored
- replace semantic by semantics - apply some review suggestions
-
Haniel Barbosa authored
-
Hans-Jörg authored
this looks less ragged
-
Hans-Jörg authored
The simplification `(P -> Q) -> Q => P or Q` is already covered by `bool_simplify`.
-
Hans-Jörg authored
-
Hans-Jörg authored
-
Hans-Jörg authored
-
