Topics:
- can we express bigO claims for n-->\oo ? (5 messages, latest: May 29 2023 at 16:00)
- Gihub Notifications (12047 messages, latest: May 29 2023 at 13:59)
- Mathcomp 2 + analysis (3 messages, latest: May 18 2023 at 15:43)
- release 0.6.2 (4 messages, latest: Apr 22 2023 at 12:49)
- Good topics for first PR? (11 messages, latest: Apr 03 2023 at 08:30)
- new package mathcomp-classical (11 messages, latest: Feb 27 2023 at 17:06)
- Metrics and Distance Functions (4 messages, latest: Feb 27 2023 at 14:08)
- release 0.6.1 (4 messages, latest: Feb 25 2023 at 03:18)
- Square root on ereals (10 messages, latest: Feb 10 2023 at 14:40)
- R^n with Euclidean norm (9 messages, latest: Jan 18 2023 at 13:03)
- release 0.6 (5 messages, latest: Dec 15 2022 at 13:16)
- boolp (19 messages, latest: Dec 15 2022 at 13:16)
- ✔ Cantor Space Update (4 messages, latest: Dec 13 2022 at 02:20)
- SciLean (10 messages, latest: Dec 08 2022 at 08:50)
- Induced functions (1 message, latest: Dec 06 2022 at 10:47)
- ✔ "glue" in functions.v (4 messages, latest: Dec 06 2022 at 07:21)
- ✔ Comparable ereal (5 messages, latest: Dec 05 2022 at 08:36)
- an actual `t : realType` (5 messages, latest: Nov 11 2022 at 12:31)
- ✔ A global property is also asymptotic (5 messages, latest: Nov 11 2022 at 11:48)
- ✔ stream events (3 messages, latest: Oct 24 2022 at 00:24)
- ✔ stream is not web public (4 messages, latest: Oct 24 2022 at 00:24)
- Ongoing work on filters? (109 messages, latest: Oct 23 2022 at 14:03)
- Multivariate integrals (7 messages, latest: Oct 22 2022 at 15:02)
- Homotopies (10 messages, latest: Oct 20 2022 at 20:12)
- Two `mathcomp_extra` (3 messages, latest: Oct 20 2022 at 12:24)
- probability merge timeline (11 messages, latest: Oct 18 2022 at 09:26)
- the unit interval (15 messages, latest: Oct 17 2022 at 22:49)
- ✔ Proof by contradiction with set0 (5 messages, latest: Oct 17 2022 at 11:12)
- ✔ `\bar R` as more than Set? (4 messages, latest: Oct 17 2022 at 06:56)
- ✔ Current PRs (3 messages, latest: Oct 07 2022 at 00:44)
- ✔ Unknown notation --> ? (11 messages, latest: Sep 26 2022 at 16:05)
- Rewriting takes long time, how to debug? (25 messages, latest: Sep 12 2022 at 08:49)
- Seeking better way of definition to prevent expansion (36 messages, latest: Sep 12 2022 at 02:21)
- `vectType R` and `normedModType R` (1 message, latest: Sep 11 2022 at 23:12)
- Differences between MC analysis and num-analysis (12 messages, latest: Sep 10 2022 at 11:49)
- release 0.5.4 (4 messages, latest: Sep 07 2022 at 23:47)
- ✔ Is there lemmas for comparing sup/inf of different sets? (10 messages, latest: Sep 07 2022 at 06:47)
- Where is lemma: image of nonempty set is nonempty (1 message, latest: Sep 07 2022 at 01:31)
- ✔ Why does interval type gives me type error? (6 messages, latest: Sep 06 2022 at 03:37)
- Next project to work on (6 messages, latest: Sep 01 2022 at 21:59)
- ✔ Lemma for differentiable -> derivable (8 messages, latest: Aug 30 2022 at 09:44)
- ✔ Cannot use `continuous` on `f: R^n -> R` (15 messages, latest: Aug 23 2022 at 15:08)
- ✔ Where to access documentation (6 messages, latest: Aug 20 2022 at 02:03)
- ✔ Is `realType` not a `numDomainType`? (4 messages, latest: Aug 19 2022 at 02:37)
- release 0.5.3 (5 messages, latest: Aug 11 2022 at 11:11)
- Using HB instances (3 messages, latest: Jul 14 2022 at 01:30)
- FYI, someone should advertise this project (1 message, latest: Jul 13 2022 at 16:46)
- Issues with 0.5.2 and coq 8.16+rc1 (11 messages, latest: Jul 12 2022 at 14:15)
- release 0.5.2 (6 messages, latest: Jul 08 2022 at 21:53)
- derive (25 messages, latest: Jul 07 2022 at 17:58)
- Citing (5 messages, latest: Jul 05 2022 at 14:27)
- Intervals and approximation (12 messages, latest: Jun 13 2022 at 15:56)
- release 0.5.1 (4 messages, latest: Jun 06 2022 at 08:10)
- release 0.5.0 (was release 0.4.1) (4 messages, latest: Mar 23 2022 at 11:05)
- release 0.4 (11 messages, latest: Mar 21 2022 at 14:10)
- Measure Review (4 messages, latest: Mar 03 2022 at 05:45)
- linear_zmodtype (42 messages, latest: Feb 26 2022 at 13:36)
- Import Categories (1 message, latest: Feb 24 2022 at 13:07)
- complex exp. (3 messages, latest: Feb 24 2022 at 13:02)
- PR status check (4 messages, latest: Feb 18 2022 at 17:10)
- Locally Compact notation (1 message, latest: Feb 09 2022 at 15:45)
- Debian packaging (12 messages, latest: Feb 09 2022 at 14:02)
- Nix (8 messages, latest: Feb 07 2022 at 10:44)
- Green's theorem? (6 messages, latest: Feb 02 2022 at 07:32)
- representation of a vector in terms of basis (1 message, latest: Jan 29 2022 at 19:39)
- ✔ characteristic polynomial of a matrix and its transpose (2 messages, latest: Jan 29 2022 at 01:04)
- release 0.3.13 (3 messages, latest: Jan 24 2022 at 23:51)
- Coq Platform 8.15 preview / beta release (8 messages, latest: Jan 24 2022 at 16:38)
- release 0.3.12 (3 messages, latest: Dec 29 2021 at 12:52)
- CI curl errors (3 messages, latest: Dec 27 2021 at 10:41)
- ✔ broken opam package for 0.3.X (10 messages, latest: Nov 25 2021 at 15:32)
- release 0.3.11 (7 messages, latest: Nov 19 2021 at 22:24)
- CI? (9 messages, latest: Nov 18 2021 at 13:30)
- ereals and Rbar (4 messages, latest: Nov 11 2021 at 13:47)
- inclusion in the Coq platform (3 messages, latest: Sep 28 2021 at 11:56)
- question about the notation for image (4 messages, latest: Sep 17 2021 at 14:46)
- filter versions of topological properties (5 messages, latest: Aug 23 2021 at 12:13)
- eq_op to eq for classical_set ? (7 messages, latest: Aug 17 2021 at 22:06)
- release 0.3.10 (3 messages, latest: Aug 12 2021 at 06:25)
- interval and interval property (7 messages, latest: Jul 29 2021 at 13:20)
- Creating a file for real analysis (3 messages, latest: Jul 25 2021 at 20:17)
- Combining prop_in1 and interior (5 messages, latest: Jul 23 2021 at 14:40)
- roots of polynomial in algebraically closed field (10 messages, latest: Jul 13 2021 at 10:13)
- instanciate near (3 messages, latest: Jul 08 2021 at 13:14)
- topological structures on complex numbers (8 messages, latest: Jul 06 2021 at 13:00)
- continuity and near (25 messages, latest: Jul 01 2021 at 07:02)
- Today's developer meeting (3 messages, latest: Jun 22 2021 at 15:06)
- Proving that (fun x => x ^ 2) is continuous (4 messages, latest: Jun 22 2021 at 14:09)
- release 0.3.9 (4 messages, latest: Jun 14 2021 at 03:03)
- not forall near (4 messages, latest: Jun 04 2021 at 09:47)
- question about using cancel in a \near context (19 messages, latest: Jun 04 2021 at 09:35)
- Naive question about near (1 message, latest: Jun 03 2021 at 08:38)
- release 0.3.8 (11 messages, latest: Jun 03 2021 at 06:47)
- A \forall .. \near .. formula that resists acceptation (6 messages, latest: Jun 02 2021 at 07:53)
- Inverse function and differentiation (1 message, latest: Jun 01 2021 at 18:22)
- \near x, something true (19 messages, latest: Jun 01 2021 at 14:18)
- Getting started with mathcomp-analysis : continuo... (5 messages, latest: Jun 01 2021 at 10:09)
- Using natmul_continuous on the support realType (10 messages, latest: Jun 01 2021 at 10:08)
- Problem of extensionality in filters (3 messages, latest: Jun 01 2021 at 10:08)
- release 0.3.7 (2 messages, latest: Apr 01 2021 at 14:51)
- interchange_psum (13 messages, latest: Mar 28 2021 at 09:09)
- release 0.3.6 (3 messages, latest: Mar 04 2021 at 14:38)
- Proving inequalities about R (11 messages, latest: Feb 18 2021 at 15:50)
- opam & dev packages (4 messages, latest: Feb 09 2021 at 01:25)
- shift in derive (12 messages, latest: Jan 19 2021 at 15:00)
- release 0.3.5 (3 messages, latest: Dec 22 2020 at 03:38)
- classical_sets (4 messages, latest: Dec 17 2020 at 04:22)
- release 0.3.4 (2 messages, latest: Dec 12 2020 at 04:55)
- nix support (4 messages, latest: Dec 09 2020 at 21:29)
- balls are not provably open (10 messages, latest: Dec 08 2020 at 22:26)
- using near (19 messages, latest: Nov 27 2020 at 13:03)
- infotheo, xhl (4 messages, latest: Nov 12 2020 at 11:45)
- release 0.3.3 (3 messages, latest: Nov 12 2020 at 00:16)
- Documentation (4 messages, latest: Nov 11 2020 at 15:37)
- compilation against mathcomp's master (4 messages, latest: Nov 09 2020 at 09:08)
- math-comp/analysis#206 (10 messages, latest: Nov 07 2020 at 20:43)
- Compiling master (as of today) (2 messages, latest: Nov 06 2020 at 19:05)
- FAQ (1 message, latest: Nov 05 2020 at 10:27)
- Formal Proofs for Random Matrices (9 messages, latest: Oct 21 2020 at 14:30)
- derive is linear (1 message, latest: Oct 21 2020 at 14:24)
- entourage (3 messages, latest: Oct 12 2020 at 15:19)
- 1<2 (7 messages, latest: Oct 09 2020 at 16:26)
- propeqE error (1 message, latest: Oct 04 2020 at 11:07)
- boolp and contra (10 messages, latest: Sep 30 2020 at 12:34)
- complete lattice (3 messages, latest: Sep 12 2020 at 21:51)
- Carathéodory Extension Theorem (3 messages, latest: Sep 04 2020 at 09:36)
- Holomorphy (1 message, latest: Sep 04 2020 at 09:20)
- math-comp/analysis#205 (1 message, latest: Sep 04 2020 at 09:16)
- Banach-Steinhauss (1 message, latest: Aug 23 2020 at 20:35)
- Boolean R comparisons in notations (10 messages, latest: Aug 19 2020 at 00:35)
- Recommended way to use MC+reals? (5 messages, latest: Aug 18 2020 at 12:26)
- release 0.3.2 (16 messages, latest: Aug 11 2020 at 08:03)
- MathComp encodings and analysis (3 messages, latest: Aug 03 2020 at 22:02)
- lra (14 messages, latest: Jul 14 2020 at 21:44)
- PR#230 (10 messages, latest: Jul 10 2020 at 15:10)
- landau (9 messages, latest: Jun 17 2020 at 09:57)
- math-comp/analysis#203 (1 message, latest: Jun 02 2020 at 12:46)
- constructive reals/stdlib reals (15 messages, latest: May 29 2020 at 08:59)
- release of 0.3 (3 messages, latest: May 26 2020 at 22:07)
- `nondecreasing_cvg` (1 message, latest: May 25 2020 at 21:12)
- Holomorphy math-comp/analysis#204 (18 messages, latest: May 23 2020 at 18:40)
- Searching for a lemma (15 messages, latest: May 15 2020 at 13:25)
- math-comp/analysis#187 (28 messages, latest: May 08 2020 at 16:51)
- imported from gitter room math-comp/analysis (363 messages, latest: May 03 2020 at 23:23)
Last updated: May 31 2023 at 03:30 UTC