mazur

Here are 6 public repositories matching this topic...

DavidFox998 / beal-conjecture

A Lean formalization of the modular approach to Beal's conjecture via Frey curves, Ribet level-lowering and Darmon-Merel. 0 sorrys, 1 external theorem (Darmon-Merel 1997).

number-theory mathlib mazur lean4 beal-conjecture chart-engine mcom modular-curves x0-26 frey-curve level-26 tate-algorithm ribet kolyvagin x0-13 beal-v38 injective-b1

Updated Oct 13, 2026
Lean

oracky / -ARKO-MIPS-zadania

Star

Zadania z przedmiotu Architektura Komputerów na Politechnice Warszawskiej

mips assembler pw arko szymanski mazur kozuszek

Updated Mar 30, 2020
Assembly

gabrielAHK / Projeto-Programacao-Mazur

Star

Projeto criado por Gabriel Augusto Honesko para as aulas de programação da professora Mazur.

programacao mazur professoramazur

Updated Apr 19, 2025
CSS

gabrielAHK / IA

Star

Trabalho criado pelo alura

alura programacao mazur

Updated Aug 11, 2025
JavaScript

gabrielAHK / trabalho-de-programacao-numero-1518

Star

Um trabalho feito para as aulas de programação seguindo curso do alura

programacao mazur

Updated May 23, 2025
HTML

gabrielAHK / trabalho-programacao-1572

Star

Trabalho realizado para as aulas de programação da professora Lucia Mazur.

programacao lucia mazur

Updated Jun 9, 2025
JavaScript

Add this topic to your repo

To associate your repository with the mazur topic, visit your repo's landing page and select "manage topics."

Learn more