Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Numbers
Branches
Overview
Active
Stale
All
include/comoproj-v1.2.0
9e0973b0
·
#[export] to make coqorg/coq:latest happy
·
Sep 13, 2023
!5
tryLeo
86d39449
·
zwei admits
·
Aug 28, 2023
mulZ_diffeq_Z0
126cc43f
·
first try on mulZ_diffeq_Z0, aborted, some changes on diffeq_Z0 again
·
Aug 20, 2023
8-finish-current-theorems-in-q
d5ff2fcb
·
started quoteq transitivity
·
Aug 16, 2023
!2
main
default
protected
aa507b4f
·
correct definition of quoteq \
·
Aug 16, 2023
18-neutral-and-inverse-elements
e99d6988
·
solved quoteq_reflexive and quoteq_symmetric
·
Jul 25, 2023
!3