 Julin S
|
26c7c5974b
|
[coq] Add example of HB mathcomp eqtype
|
2024-04-06 12:49:57 +05:30 |
|
Julin S
|
f48d2fec9f
|
[coq] make an attempt to refine mathcomp set
|
2024-04-02 22:06:33 +05:30 |
|
Julin S
|
bfc13603a5
|
Revert "[coq] replicate coq/reglang"
This reverts commit c23231e006.
|
2024-04-01 17:50:04 +05:30 |
|
Julin S
|
c23231e006
|
[coq] replicate coq/reglang
|
2024-04-01 17:48:32 +05:30 |
|
Julin S
|
a836af8a44
|
[haskell] add few recent files
|
2024-03-08 11:59:24 +05:30 |
|
Julin S
|
168df58125
|
[coq] fix padR in ohe.v
|
2024-03-06 11:52:49 +05:30 |
|
Julin S
|
08d553e847
|
[coq] ohe.v: add eqb
|
2024-03-06 10:41:06 +05:30 |
|
Julin S
|
391e3de385
|
[coq] update ohe.v to add of_bv
|
2024-03-05 22:54:43 +05:30 |
|
Julin S
|
a422453130
|
[coq] add one hot encoding
|
2024-03-04 19:09:17 +05:30 |
|
Julin S
|
8d30806189
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
Julin S
|
0de0726474
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
Julin S
|
aeb2f06a2a
|
[tex} add 2 tikz examples
|
2024-02-23 11:33:32 +05:30 |
|
Julin S
|
6d7bbb8813
|
[tex] labeling table with long brackets
|
2024-02-20 14:11:03 +05:30 |
|
Julin S
|
e60c7efacf
|
[coq] improve string notation example
|
2024-02-09 16:44:09 +05:30 |
|
Julin S
|
5e796ce27d
|
[coq] add example with String Notation
|
2024-02-09 16:31:37 +05:30 |
|
Julin S
|
07640878c6
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
Julin S
|
3239f401be
|
[coq] try some sf1 (lf)
|
2024-01-04 20:53:48 +05:30 |
|
Julin S
|
25dc1bf9ad
|
add a bunch of new stuff
|
2024-01-02 13:13:01 +05:30 |
|
Julin S
|
9a69fea179
|
[coq] use equations plugin for jfp pearl nov 2023
|
2023-11-27 23:48:09 +05:30 |
|
Julin S
|
3a63656658
|
add start of jfp-pearl nov 2023
|
2023-11-27 16:18:55 +05:30 |
|
Julin S
|
4741dcd6a7
|
[coq] add hierarchy-builder example for lattice
|
2023-11-27 16:17:50 +05:30 |
|
Julin S
|
5897e8d04b
|
add some older files
|
2023-10-28 23:38:24 +05:30 |
|
Julin S
|
8c8228f563
|
[coq] [mathcomp] add few mathcomp egs
|
2023-10-27 14:22:33 +05:30 |
|
Julin S
|
d9fd5c6b39
|
[ocaml] include CmdLiner package example
|
2023-10-24 10:28:47 +05:30 |
|
Julin S
|
7ed97ca479
|
[ocaml] try a monad module type
|
2023-10-20 12:12:22 +05:30 |
|
Julin S
|
afc3ca06bf
|
[coq] [mathcomp2] comSemiRing example
|
2023-10-19 12:05:03 +05:30 |
|
Julin S
|
8cb107c63c
|
[coq] [mathcomp] make ssreflect version of bool3
|
2023-10-13 22:35:18 +05:30 |
|
Julin S
|
4f3524269f
|
[coq] commutative semi ring
|
2023-10-12 13:07:43 +05:30 |
|
Julin S
|
c49c2c3d96
|
[coq] [mathcomp] make matrix to vector function
|
2023-10-11 11:10:46 +05:30 |
|
Julin S
|
e72f7c7457
|
[coq] add number notation example
|
2023-10-09 12:44:13 +05:30 |
|
Julin S
|
c3c94f3e35
|
[coq] start bool matrix stuff
|
2023-09-24 15:46:07 +05:30 |
|
Julin S
|
e7d8161acb
|
[coq] safe head of list
|
2023-06-28 11:28:01 +05:30 |
|
Julin S
|
046111afe7
|
[coq] update extlib-hlist.v with 2 more functions
|
2023-06-19 10:20:13 +05:30 |
|
Julin S
|
bc96438a06
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
Julin S
|
9afee48c78
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
Julin S
|
dfe68734ba
|
add few old coq files
|
2023-05-22 14:41:06 +05:30 |
|
Julin S
|
086e8fbaf5
|
correction: include ilists.v
|
2023-05-18 12:20:36 +05:30 |
|
Julin S
|
2b5e40eeaa
|
[coq] include cpdt/ilist.v
|
2023-05-18 12:19:38 +05:30 |
|
Julin S
|
83d0b22c06
|
[coq] try coq-ext-lib hlist
|
2023-05-16 22:43:35 +05:30 |
|
Julin S
|
a609908ccf
|
[coq] some list bool stuff
|
2023-05-16 12:05:59 +05:30 |
|
Julin S
|
6a5dbec769
|
[coq] bitvectors and 'sets'
|
2023-05-15 17:03:26 +05:30 |
|
Julin S
|
12fdca2fa9
|
[coq] remembering bitvectors
|
2023-05-15 11:17:51 +05:30 |
|
Julin S
|
71c95c351e
|
[apl] tried some apl
|
2023-04-30 23:19:40 +05:30 |
|
Julin S
|
4d708d1f6f
|
[sml] regex match using cps
|
2023-04-27 13:08:32 +05:30 |
|
Julin S
|
8f06213af4
|
[coq] add de-morgan laws
|
2023-04-26 21:41:31 +05:30 |
|
Julin S
|
7218c99d19
|
make coq dir
|
2023-04-08 12:58:55 +05:30 |