Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / imperialcollegelondon/flt issues and pull requests

#197 - Tidy up and close Frobenius miniproject

Pull Request - State: open - Opened by kbuzzard 9 days ago

#196 - Adele miniproject

Pull Request - State: open - Opened by kbuzzard 9 days ago

#195 - feat: modular characters

Pull Request - State: open - Opened by erdOne 10 days ago - 2 comments

#194 - stash

Pull Request - State: open - Opened by erdOne 10 days ago

#192 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] 10 days ago
Labels: auto-update-lean

#191 - More adelic stuff

Pull Request - State: closed - Opened by kbuzzard 13 days ago

#190 - Fix failed bump

Pull Request - State: closed - Opened by pitmonticone 13 days ago - 1 comment

#189 - Updates available but manual intervention required

Issue - State: closed - Opened by github-actions[bot] 13 days ago - 2 comments

#188 - Tidy up FLT.lean

Pull Request - State: closed - Opened by kbuzzard 14 days ago - 3 comments
Labels: awaiting-review

#186 - Bump rexml from 3.3.6 to 3.3.9 in /docs

Pull Request - State: closed - Opened by dependabot[bot] 17 days ago
Labels: dependencies

#185 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] 17 days ago
Labels: auto-update-lean

#184 - chore: drop Algebra.TensorProduct.rightAlgebra'

Pull Request - State: closed - Opened by Ruben-VandeVelde 20 days ago - 1 comment

#183 - Bump dependencies

Pull Request - State: closed - Opened by pitmonticone 20 days ago

#182 - Updates available but manual intervention required

Issue - State: closed - Opened by github-actions[bot] 20 days ago - 2 comments

#180 - chore: fix typo in `FrobeniusRiou.lean`

Pull Request - State: closed - Opened by euprunin 23 days ago

#179 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde 23 days ago

#178 - [TEST] Dashboard-based workflow

Issue - State: closed - Opened by pitmonticone 23 days ago - 7 comments

#177 - Updates available but manual intervention required

Issue - State: closed - Opened by github-actions[bot] 23 days ago - 2 comments

#176 - Some adelic background for quaternion algebras

Pull Request - State: closed - Opened by kbuzzard 25 days ago

#175 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] 26 days ago
Labels: auto-update-lean

#174 - LaTeX: Statement of finite-dimensionality of quaternionic forms

Pull Request - State: closed - Opened by kbuzzard 27 days ago

#173 - Fix typo in blueprint

Pull Request - State: closed - Opened by pitmonticone 28 days ago - 1 comment

#172 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] 29 days ago
Labels: auto-update-lean

#171 - Module structure on TotallyDefiniteQuaternionAlgebra.AutomorphicForm

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#170 - Quaternion algebras project

Pull Request - State: closed - Opened by kbuzzard about 1 month ago

#169 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#168 - fill in two sorries

Pull Request - State: closed - Opened by b-mehta about 1 month ago - 1 comment

#167 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#166 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#165 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#164 - Fix and silence some warnings

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#163 - Updates available but manual intervention required

Issue - State: closed - Opened by github-actions[bot] about 1 month ago

#162 - Prove reduction_isIntegral

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#161 - Proved QHat.rat_meet_zHat and QHat.rat_join_zHat.

Pull Request - State: closed - Opened by DjangoPeeters about 1 month ago - 14 comments

#160 - Proved that L/K is normal

Pull Request - State: closed - Opened by 4hma4d about 1 month ago - 2 comments

#159 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#158 - Improve the blueprint graph a bit

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#157 - Complete Algebra.exists_dvd_nonzero_if_isIntegral

Pull Request - State: closed - Opened by morrison-daniel about 1 month ago - 5 comments

#156 - Prove Mbar_eval_eq_zero, update blueprint

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago

#155 - [TEST] Dashboard-based workflow

Issue - State: closed - Opened by pitmonticone about 1 month ago - 6 comments

#154 - [TEST] Dashboard-based workflow

Pull Request - State: closed - Opened by pitmonticone about 1 month ago - 1 comment
Labels: awaiting-review

#153 - Build dashboard-based infrastructure

Pull Request - State: closed - Opened by pitmonticone about 1 month ago

#152 - Create M_spec_map

Pull Request - State: closed - Opened by morrison-daniel about 1 month ago

#151 - Prove Mbar_deg, Mbar_monic

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago

#150 - add more details to blueprint about Frobenius project

Pull Request - State: closed - Opened by kbuzzard about 1 month ago

#149 - Prove F_degree, M_deg_eq_F_deg, M_monic

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#148 - FROBENIUS: The maximal separable subextension of L/K is finite of degree <= |G|

Issue - State: closed - Opened by kbuzzard about 1 month ago - 3 comments

#147 - FROBENIUS: The residue field extension L/K is normal

Issue - State: closed - Opened by kbuzzard about 1 month ago - 2 comments

#146 - FROBENIUS: Fields of fractions of integral extensions are algebraic

Issue - State: closed - Opened by kbuzzard about 1 month ago - 2 comments

#145 - FROBENIUS: elements of top ring divide elements of bottom ring

Issue - State: closed - Opened by kbuzzard about 1 month ago - 2 comments

#144 - FROBENIUS: reduction of char poly from B to B/Q

Issue - State: closed - Opened by kbuzzard about 1 month ago - 3 comments

#143 - FROBENIUS: descent of char poly from B to A

Issue - State: closed - Opened by kbuzzard about 1 month ago - 2 comments

#142 - Updates available and ready to merge

Pull Request - State: closed - Opened by github-actions[bot] about 1 month ago
Labels: auto-update-lean

#141 - FROBENIUS: The char poly is monic

Issue - State: closed - Opened by kbuzzard about 1 month ago

#140 - Bump webrick from 1.8.1 to 1.8.2 in /docs

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies

#139 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde about 1 month ago - 1 comment

#138 - Add update workflow

Pull Request - State: closed - Opened by pitmonticone about 2 months ago - 1 comment

#137 - FrobeniusRiou sorrys

Pull Request - State: closed - Opened by morrison-daniel about 2 months ago

#136 - State the Bourbaki theorem in LaTeX

Pull Request - State: closed - Opened by kbuzzard about 2 months ago

#135 - Some Frobenius, some action topology

Pull Request - State: closed - Opened by kbuzzard about 2 months ago

#134 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde about 2 months ago - 1 comment

#133 - Use action topology in quat alg file

Pull Request - State: closed - Opened by kbuzzard about 2 months ago

#132 - finish classification of `AutomorphicFormForGLnOverQ 0 ρ`

Pull Request - State: closed - Opened by mo271 2 months ago - 1 comment

#131 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde 2 months ago - 1 comment

#130 - left_distrib'

Pull Request - State: closed - Opened by Ruben-VandeVelde 2 months ago - 1 comment

#129 - Bump doc-gen4

Pull Request - State: closed - Opened by pitmonticone 2 months ago - 1 comment

#128 - Complete F_eval_eq_zero

Pull Request - State: closed - Opened by morrison-daniel 2 months ago - 3 comments

#127 - Add algebra instances for localizations

Pull Request - State: closed - Opened by kbuzzard 2 months ago

#126 - Start on localization and immediately run into trouble

Pull Request - State: closed - Opened by kbuzzard 2 months ago

#125 - fix ActionTopology.unit

Pull Request - State: closed - Opened by mo271 2 months ago - 1 comment

#124 - Build the entire project

Pull Request - State: closed - Opened by Ruben-VandeVelde 2 months ago

#123 - fix p_is_p'

Pull Request - State: closed - Opened by mo271 2 months ago - 1 comment

#122 - Fix `FGModuleTopology`

Pull Request - State: closed - Opened by pitmonticone 2 months ago - 1 comment

#121 - chore: fix spelling mistakes

Pull Request - State: closed - Opened by euprunin 2 months ago - 1 comment

#120 - Bump lean and mathlib

Pull Request - State: closed - Opened by pitmonticone 2 months ago - 1 comment

#119 - Bump rexml from 3.3.3 to 3.3.6 in /docs

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#118 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde 3 months ago - 1 comment

#117 - Deduplicate upload action

Pull Request - State: closed - Opened by YaelDillies 3 months ago - 1 comment

#116 - Bump rexml from 3.3.2 to 3.3.3 in /docs

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies

#115 - Bump rexml from 3.3.0 to 3.3.2 in /docs

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies

#114 - Bump GitHub actions

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#113 - Bump

Pull Request - State: closed - Opened by Ruben-VandeVelde 4 months ago

#112 - Blueprint: Fix label error

Pull Request - State: closed - Opened by pitmonticone 4 months ago - 1 comment

#111 - Bump mathlib

Pull Request - State: closed - Opened by Ruben-VandeVelde 4 months ago - 1 comment

#110 - Hecke rings

Pull Request - State: open - Opened by CBirkbeck 5 months ago

#109 - Quaternion algebra2

Pull Request - State: closed - Opened by Louis-Le-Grand 5 months ago - 2 comments

#108 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 5 months ago - 2 comments

#107 - Pin FFI in the docs to evade ffi/ffi#1103.

Pull Request - State: closed - Opened by Julian 5 months ago - 1 comment

#106 - Update the Gemfile dependencies to make some security noise disappear.

Pull Request - State: closed - Opened by Julian 5 months ago - 1 comment

#105 - Quaternion algebra

Pull Request - State: closed - Opened by Louis-Le-Grand 5 months ago

#104 - more tweaks to AutomorphicFormForGLnOverQ

Pull Request - State: closed - Opened by digama0 5 months ago - 1 comment

#103 - GLnDefs some sorrys filled in

Pull Request - State: closed - Opened by TBUGTB 5 months ago - 1 comment

#102 - WIP Classification theorem for GL0

Pull Request - State: closed - Opened by TBUGTB 5 months ago - 3 comments
Labels: awaiting-author

#101 - Proof of continuous_bilinear

Pull Request - State: closed - Opened by Louis-Le-Grand 5 months ago - 1 comment
Labels: awaiting-author

#100 - finite codimension

Pull Request - State: closed - Opened by digama0 5 months ago - 1 comment

#99 - Definition of automorphic form: Invariance under compact open subgroup condition

Pull Request - State: closed - Opened by TBUGTB 5 months ago - 2 comments
Labels: awaiting-author

#98 - feat: definition of `weight`

Pull Request - State: closed - Opened by dagurtomas 5 months ago