affeldt-aist/monae issues and pull requests

#106 - define abstract category, impredicatively

Pull Request - State: open - Opened by t6s over 1 year ago

#105 - add MonadTypedStore

Pull Request - State: open - Opened by garrigue over 1 year ago - 8 comments

#104 - update wrt forthcoming infotheo

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago

#103 - factory to buil monads from adjoint functors

Issue - State: open - Opened by affeldt-aist almost 2 years ago

#102 - document factories

Issue - State: open - Opened by affeldt-aist almost 2 years ago

#101 - More general bindret

Pull Request - State: closed - Opened by t6s almost 2 years ago - 1 comment

#100 - add doi

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago

#99 - trying to use infotheo_hb

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago - 2 comments

#98 - compatibility with mathcomp 1.15.0

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#97 - non forgetful inheritance detected

Issue - State: open - Opened by affeldt-aist about 2 years ago

#96 - use HB in category.v and other dependent scripts

Pull Request - State: closed - Opened by t6s over 2 years ago - 3 comments

#95 - Compatibility with infotheo037

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago

#94 - update figure

Pull Request - State: closed - Opened by AyumuSaito over 2 years ago

#93 - Intro equations

Pull Request - State: closed - Opened by AyumuSaito over 2 years ago

#92 - using HB to define nattrans (wip)

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago

#91 - remove file?

Issue - State: closed - Opened by affeldt-aist over 2 years ago - 1 comment

#90 - minor generalizations

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago

#89 - fix some lemmas

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#88 - minor fix

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#87 - rearrange

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#86 - move splits

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#85 - minor cleaning

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#84 - moving generic lemmas out of example_array.v

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#83 - move insert and perm lemmas out of example_array.v

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#82 - fixes #80

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#81 - fixes #79

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#80 - move to better location

Issue - State: closed - Opened by affeldt-aist almost 3 years ago

#79 - remove notation

Issue - State: closed - Opened by affeldt-aist almost 3 years ago

#78 - fixes #76

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#77 - document liftM2

Issue - State: closed - Opened by affeldt-aist almost 3 years ago

#76 - typo in Record isMonadArray

Issue - State: closed - Opened by t6s almost 3 years ago

#75 - cleaning wip

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#74 - rewrite by widen_bseq

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#73 - cleaning wip

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#72 - introduce canonical declaration for bseq

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#71 - fqsort_spec

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#70 - upgrade hb

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago - 1 comment

#69 - remove one lemma

Pull Request - State: closed - Opened by AyumuSaito almost 3 years ago

#68 - try using ssrint

Issue - State: closed - Opened by affeldt-aist about 3 years ago - 1 comment

#67 - tentative definition of preplus + array monad

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#66 - Array quicksort

Pull Request - State: closed - Opened by AyumuSaito about 3 years ago

#65 - fixes #64

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#64 - global notation

Issue - State: closed - Opened by affeldt-aist about 3 years ago

#63 - move Monad_of_ret_bind builder to hierarchy

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#62 - quicksort on list

Pull Request - State: closed - Opened by AyumuSaito about 3 years ago

#61 - notation broken

Issue - State: closed - Opened by affeldt-aist about 3 years ago
Labels: bug

#60 - reduce dependency wrt infotheo

Issue - State: closed - Opened by affeldt-aist about 3 years ago - 1 comment

#59 - Remove unused imports from infotheo (split hierarchy)

Pull Request - State: closed - Opened by eupp about 3 years ago

#58 - use under instead of rewrite_

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#57 - tentative split of hierarchy.v

Pull Request - State: open - Opened by affeldt-aist about 3 years ago

#56 - Minimization of dependencies

Issue - State: open - Opened by eupp about 3 years ago - 15 comments

#55 - Proofs from Keimel's paper

Pull Request - State: open - Opened by t6s over 3 years ago

#54 - clean sorted lemmas

Pull Request - State: closed - Opened by AyumuSaito over 3 years ago

#53 - model of array monad

Issue - State: closed - Opened by affeldt-aist over 3 years ago - 1 comment

#52 - fixes #51

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#51 - code duplicated in infotheo

Issue - State: closed - Opened by affeldt-aist over 3 years ago

#50 - generalize bind law

Issue - State: closed - Opened by affeldt-aist over 3 years ago

#49 - experimental files

Pull Request - State: open - Opened by affeldt-aist over 3 years ago

#48 - Avoid explicit definition of aliases with HB

Issue - State: closed - Opened by affeldt-aist over 3 years ago
Labels: enhancement

#47 - Monae hb impred

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#46 - using HB

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#45 - Remove when available from analysis

Issue - State: closed - Opened by affeldt-aist over 3 years ago

#44 - Adapt to and use new lemmas from conv_set branch of infotheo

Pull Request - State: closed - Opened by t6s over 3 years ago

#43 - notation improvements and compatibility with infotheo 0.3.1

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#42 - change the association of AdjComp in the definition of gcm

Pull Request - State: closed - Opened by t6s over 3 years ago - 1 comment

#41 - shorten proofs in altprob_model.v

Pull Request - State: closed - Opened by t6s over 3 years ago - 1 comment

#40 - F0U0 and prob

Pull Request - State: closed - Opened by t6s over 3 years ago - 2 comments

#39 - follow boolean_prob branch of infotheo

Pull Request - State: closed - Opened by t6s over 3 years ago

#38 - sketch probDr model

Pull Request - State: open - Opened by affeldt-aist over 3 years ago

#37 - improve documentation and fix typos

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#36 - Arbcoin spec convexity + compatibility infotheo 0.3

Pull Request - State: closed - Opened by t6s over 3 years ago - 2 comments

#35 - compatibility with infotheo master (0.3?) (and therefore Coq 8.13)

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#34 - Compatibility mc112

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#33 - compatibility with infotheo 0.2.1

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#32 - relicensing

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#31 - define slice category and product category

Pull Request - State: closed - Opened by t6s almost 4 years ago - 2 comments

#30 - Functions about the array monad

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#29 - Mu's quicksort

Pull Request - State: closed - Opened by affeldt-aist about 4 years ago

#28 - freshMonad should inherit failR0

Issue - State: open - Opened by affeldt-aist about 4 years ago
Labels: enhancement

#27 - Distinguish runStateT and reify

Pull Request - State: closed - Opened by affeldt-aist about 4 years ago

#26 - Adding monadic fixpoint to define Mu's quicksort

Issue - State: open - Opened by t6s about 4 years ago

#25 - Stmonad

Pull Request - State: open - Opened by affeldt-aist about 4 years ago

#24 - Quicksort

Pull Request - State: closed - Opened by affeldt-aist about 4 years ago

#23 - refactoring (wip)

Pull Request - State: closed - Opened by affeldt-aist about 4 years ago

#22 - Compatibility with Coq 8.12

Pull Request - State: closed - Opened by t6s about 4 years ago - 1 comment

#21 - improve documentation headers and naming

Pull Request - State: closed - Opened by affeldt-aist about 4 years ago

#20 - minor edits

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#19 - Examples 30 32

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#18 - complete examples 29 and 31

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#17 - Monoidal category

Pull Request - State: open - Opened by affeldt-aist over 4 years ago - 1 comment

#16 - Example 29, fixes, naming convention

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#15 - simplify notations

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago - 1 comment

#14 - tentative definition of free monads

Pull Request - State: open - Opened by affeldt-aist over 4 years ago

#13 - proof-reading about control monads

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#12 - test compilation with mathcomp 1.11.0

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#11 - example of programs with uniform lifting

Pull Request - State: closed - Opened by CelestineSauvage almost 5 years ago

#10 - To merge

Pull Request - State: closed - Opened by CelestineSauvage almost 5 years ago

#9 - complete AdjComp module.

Pull Request - State: closed - Opened by tzskp1 about 5 years ago

#8 - Continuation

Pull Request - State: closed - Opened by CelestineSauvage about 5 years ago

#7 - Continuation

Pull Request - State: closed - Opened by CelestineSauvage about 5 years ago

GitHub / affeldt-aist/monae issues and pull requests