| .. |
|
cpdt
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
mathcomp
|
[coq] make an attempt to refine mathcomp set
|
2024-04-02 22:06:33 +05:30 |
|
misc
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
sf
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
third-party
|
[coq] Add example of HB mathcomp eqtype
|
2024-04-06 12:49:57 +05:30 |
|
unfinished
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
MAC.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
MonWithTolerance.v
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
README.org
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
b2-ssft22.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
baby.v
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
binN-more.v
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
binN.v
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
bits.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
bool3csr-ssreflect.v
|
[coq] [mathcomp] make ssreflect version of bool3
|
2023-10-13 22:35:18 +05:30 |
|
bool3csr.v
|
[coq] commutative semi ring
|
2023-10-12 13:07:43 +05:30 |
|
brzozowski.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
bsv-mimicry.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
bv.v
|
[coq] bitvectors and 'sets'
|
2023-05-15 17:03:26 +05:30 |
|
de-morgan.v
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
folds.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
fstr.v
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
hlist-shallow.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
hlist.v
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
inf-proof.v
|
add few old coq files
|
2023-05-22 14:41:06 +05:30 |
|
iseven-proof-mode.v
|
add few old coq files
|
2023-05-22 14:41:06 +05:30 |
|
jfp-swiestra-2023-Nov.v
|
add a bunch of new stuff
|
2024-01-02 13:13:01 +05:30 |
|
lists.v
|
[coq] safe head of list
|
2023-06-28 11:28:01 +05:30 |
|
log10-casteran.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
ltac2-demo.v
|
add few old coq files
|
2023-05-22 14:41:06 +05:30 |
|
ltl.v
|
[coq] try some sf1 (lf)
|
2024-01-04 20:53:48 +05:30 |
|
matrix-as-list.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
matrix.v
|
add some older files
|
2023-10-28 23:38:24 +05:30 |
|
mult.v
|
[coq] add de-morgan laws
|
2023-04-26 21:41:31 +05:30 |
|
nat2listbool.v
|
[coq] some list bool stuff
|
2023-05-16 12:05:59 +05:30 |
|
nat2str.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
notations.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
nth_tuple.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
number-notation.v
|
[coq] add number notation example
|
2023-10-09 12:44:13 +05:30 |
|
odd-even-prop.v
|
[apl] tried some apl
|
2023-04-30 23:19:40 +05:30 |
|
ohe.v
|
[haskell] add few recent files
|
2024-03-08 11:59:24 +05:30 |
|
parity.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
ranged.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
re.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
rec-typeclass-member.v
|
add a bunch of new stuff
|
2024-01-02 13:13:01 +05:30 |
|
records.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
red-black-tree.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
reflect-even.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
roman.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
sigs.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
string_notation.v
|
[tex} add 2 tikz examples
|
2024-02-23 11:33:32 +05:30 |
|
sumn.v
|
make coq dir
|
2023-04-08 12:58:55 +05:30 |
|
union.v
|
[coq] some list bool stuff
|
2023-05-16 12:05:59 +05:30 |
|
unique-list.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
utlc.v
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
vector_nth.v
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
Julin S
26c7c5974b