Similar repositories to jjaassoonn/transcendental:

• jjaassoonn/transcendental github similar
• shingtaklam1324/step3-06-q8-lean github similar
• lean-forward/class-number github similar
• LAC1213/compact_unit_ball github similar
• Shenyang1995/M4R github similar
• SnobbyDragon/leanhanoi github similar
• leanprover-community/lean-sensitivity github similar
• avigad/mathematics_in_lean_source github similar
• rwbarton/lean-omin github similar
• sorear/smm github similar
• kbuzzard/lean-stacks-project github similar
• formalabstracts/CNL-CIC github similar
• b-mehta/combinatorics github similar
• leanprover-community/mathlib-tools github similar
• dpiponi/formal-weyl github similar
• abelfunctions/abelfunctions github similar
• stacks/stacks-website github similar
• google/formal-ml github similar
• leanprover-community/sphere-eversion github similar
• ramonfmir/lean-scheme github similar
• ammkrn/nanoda github similar
• ImperialCollegeLondon/real-number-game github similar
• JLimperg/aesop github similar
• williamstein/ant github similar
• leanprover-community/format_lean github similar
• ImperialCollegeLondon/M4P33 github similar
• mpedramfar/Lean-game-maker github similar
• jldodds/coq-lean-cheatsheet github similar
• leanprover-community/lean-perfectoid-spaces github similar
• formalabstracts/formalabstracts github similar
• blanchette/logical_verification_2020 github similar
• flypitch/flypitch github similar
• leanprover/vscode-lean github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/mathlib4 github similar
• math-comp/analysis github similar
• kbuzzard/xena github similar
• digama0/mm0 github similar
• rbeezer/mathbook github similar
• LMFDB/lmfdb github similar