https://pypi.org/project/giftpy/ Recent updates to the Python Package Index for giftpy en https://pypi.org/project/giftpy/3.4.23/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 19 May 2026 08:47:26 GMT https://pypi.org/project/giftpy/3.4.22/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 18 May 2026 10:11:51 GMT https://pypi.org/project/giftpy/3.4.21/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sat, 16 May 2026 22:35:30 GMT https://pypi.org/project/giftpy/3.4.20/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sun, 10 May 2026 13:24:40 GMT https://pypi.org/project/giftpy/3.4.19/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 05 May 2026 08:23:59 GMT https://pypi.org/project/giftpy/3.4.18/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 05 May 2026 07:50:34 GMT https://pypi.org/project/giftpy/3.4.17/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 05 May 2026 07:16:01 GMT https://pypi.org/project/giftpy/3.4.16/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 05 May 2026 06:41:00 GMT https://pypi.org/project/giftpy/3.4.15/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 04 May 2026 21:14:59 GMT https://pypi.org/project/giftpy/3.4.14/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 04 May 2026 17:16:23 GMT https://pypi.org/project/giftpy/3.4.13/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Thu, 23 Apr 2026 21:18:42 GMT https://pypi.org/project/giftpy/3.4.12/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sun, 19 Apr 2026 14:03:35 GMT https://pypi.org/project/giftpy/3.4.11/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sat, 18 Apr 2026 14:45:21 GMT https://pypi.org/project/giftpy/3.4.10/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 14 Apr 2026 15:20:44 GMT https://pypi.org/project/giftpy/3.4.9/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 13 Apr 2026 12:31:43 GMT https://pypi.org/project/giftpy/3.4.8/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sat, 11 Apr 2026 15:55:49 GMT https://pypi.org/project/giftpy/3.4.7/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Thu, 09 Apr 2026 14:19:04 GMT https://pypi.org/project/giftpy/3.4.6/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 31 Mar 2026 18:27:41 GMT https://pypi.org/project/giftpy/3.4.5/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 31 Mar 2026 09:16:29 GMT https://pypi.org/project/giftpy/3.4.4/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 30 Mar 2026 08:17:12 GMT https://pypi.org/project/giftpy/3.4.3/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sat, 28 Mar 2026 17:36:17 GMT https://pypi.org/project/giftpy/3.3.34/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Tue, 10 Mar 2026 17:32:23 GMT https://pypi.org/project/giftpy/3.3.32/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 09 Mar 2026 21:59:59 GMT https://pypi.org/project/giftpy/3.3.31/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 09 Mar 2026 11:20:38 GMT https://pypi.org/project/giftpy/3.3.26/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sat, 07 Mar 2026 20:32:16 GMT https://pypi.org/project/giftpy/3.3.25/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Wed, 04 Mar 2026 14:40:59 GMT https://pypi.org/project/giftpy/3.3.24/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 23 Feb 2026 22:51:19 GMT https://pypi.org/project/giftpy/3.3.23/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Mon, 23 Feb 2026 08:44:23 GMT https://pypi.org/project/giftpy/3.3.21/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sun, 22 Feb 2026 17:48:31 GMT https://pypi.org/project/giftpy/3.3.18/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Thu, 12 Feb 2026 08:30:54 GMT https://pypi.org/project/giftpy/3.3.17/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sun, 08 Feb 2026 17:35:04 GMT https://pypi.org/project/giftpy/3.3.16/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Sun, 08 Feb 2026 16:23:52 GMT https://pypi.org/project/giftpy/3.3.15/ GIFT mathematical core - Formally verified constants (Lean 4) brieuc@bdelaf.com Fri, 30 Jan 2026 15:16:38 GMT https://pypi.org/project/giftpy/3.3.14/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Wed, 28 Jan 2026 20:26:46 GMT https://pypi.org/project/giftpy/3.3.13/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Mon, 26 Jan 2026 17:08:17 GMT https://pypi.org/project/giftpy/3.3.12/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Mon, 26 Jan 2026 13:56:15 GMT https://pypi.org/project/giftpy/3.3.11/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Sat, 24 Jan 2026 16:43:48 GMT https://pypi.org/project/giftpy/3.3.9/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Fri, 23 Jan 2026 21:50:58 GMT https://pypi.org/project/giftpy/3.3.7/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Fri, 16 Jan 2026 12:39:11 GMT https://pypi.org/project/giftpy/3.3.6/ GIFT mathematical core - Formally verified constants (Lean 4 + Coq) brieuc@bdelaf.com Thu, 15 Jan 2026 19:15:17 GMT