René's URL Explorer Experiment


Title: Lean Forward

Mail addresses
j.c.blanchette@vu.nl

direct link

Domain: lean-forward.github.io

format-detectiontelephone=no
og:typewebsite
twitter:cardsummary_large_image

Links:

SUMMARY https://lean-forward.github.io#summary
CONTEXT https://lean-forward.github.io#context
GOALS https://lean-forward.github.io#goals
TEAM https://lean-forward.github.io#team
PAPERS https://lean-forward.github.io#papers
EVENTS https://lean-forward.github.io#events
CONTACT https://lean-forward.github.io#contacts
SUMMARY https://lean-forward.github.io#summary
CONTEXT https://lean-forward.github.io#context
GOALS https://lean-forward.github.io#goals
TEAM https://lean-forward.github.io#team
PAPERS https://lean-forward.github.io#papers
EVENTS https://lean-forward.github.io#events
CONTACT https://lean-forward.github.io#contacts
Leanhttps://leanprover.github.io
Sander Dahmenhttp://www.few.vu.nl/~sdn249/
Leanhttps://leanprover.github.io
Leonardo de Mourahttp://leodemoura.github.io/
Jeremy Avigadhttp://www.andrew.cmu.edu/user/avigad/
New Diophantine Directionshttps://www.nwo.nl/onderzoek-en-resultaten/onderzoeksprojecten/i/17/26817.html
Formal Abstractshttps://fl60.sciencesconf.org/data/program/T_Hales.pdf
Lean mathlibhttps://github.com/leanprover/mathlib
LMFDBhttp://www.lmfdb.org/
Matryoshkahttps://matryoshka-project.github.io
http://www.cs.vu.nl/~jbe248/
JasminBlanchettehttp://www.cs.vu.nl/~jbe248/
https://gebner.org/
GabrielEbnerhttps://gebner.org/
https://petarvukmirovic.github.io/home/
PetarVukmirovićhttps://petarvukmirovic.github.io/home/
https://git.science.uu.nl/t.baanen
AnneBaanenhttps://www.cs.vu.nl/~tbn305/
https://limperg.de/
JannisLimperghttps://limperg.de/
https://yousource.it.jyu.fi/~vivevinu
VisaNummelinhttps://yousource.it.jyu.fi/~vivevinu
https://kappelmann.me/
KevinKappelmannhttps://kappelmann.me/
http://www.few.vu.nl/~sdn249/
SanderDahmenhttp://www.few.vu.nl/~sdn249/
http://robertylewis.com/
Robert Y.Lewishttp://robertylewis.com/
https://specfun.inria.fr/mahboubi/
AssiaMahboubihttps://specfun.inria.fr/mahboubi/
https://github.com/aureliensaue
AurélienSauehttps://github.com/aureliensaue
http://www.cs.ru.nl/F.Wiedijk/
FreekWiedijkhttp://www.cs.ru.nl/F.Wiedijk/
http://www.andrew.cmu.edu/user/avigad/
JeremyAvigadhttp://www.andrew.cmu.edu/user/avigad/
https://www.cs.vu.nl/~abp290/
AlexanderBentkamphttps://www.cs.vu.nl/~abp290/
http://leodemoura.github.io/
Leonardode Mourahttp://leodemoura.github.io/
https://www.cs.vu.nl/~femke/
Femkevan Raamsdonkhttps://www.cs.vu.nl/~femke/
http://www.cs.vu.nl/~jhl890/
JohannesHölzlhttp://www.cs.vu.nl/~jhl890/
https://research.vu.nl/en/persons/joey-van-langen
Joeyvan Langenhttps://research.vu.nl/en/persons/joey-van-langen
https://www.linkedin.com/in/pablo-le-hénaff-5b9272125/
PabloLe Hénaffhttps://www.linkedin.com/in/pablo-le-hénaff-5b9272125/
https://www.linkedin.com/in/phillip-lippe/
PhillipLippehttps://www.linkedin.com/in/phillip-lippe/
https://github.com/pnmdln
Paul-NicolasMadelainehttps://github.com/pnmdln
https://research.vu.nl/en/persons/casper-putz
CasperPutzhttps://research.vu.nl/en/persons/casper-putz
https://www.linkedin.com/in/jens-wagemaker-77345ab1/
JensWagemakerhttps://www.linkedin.com/in/jens-wagemaker-77345ab1/
Book (A4, PDF)https://github.com/lean-forward/logical_verification_2024/raw/main/hitchhikers_guide_2024_desktop.pdf
Book (A5, PDF)https://github.com/lean-forward/logical_verification_2024/raw/main/hitchhikers_guide_2024_tablet.pdf
Authors' PDFhttps://lean-forward.github.io/pubs/sums_paper.pdf
Report (PDF)https://lean-forward.github.io/pubs/sums_report.pdf
Publisher's PDFhttps://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette/naw5-2023-24-2-114.pdf
Authors' PDFhttps://nekoka-project.github.io/pubs/computers.pdf
Publisher's pagehttps://cacm.acm.org/magazines/2023/4/271243-mechanical-mathematicians/
Authors' PDFhttps://matryoshka-project.github.io/pubs/mechanical.pdf
Publisher's pagehttps://dl.acm.org/doi/10.1145/3565366
Authors' PDFhttps://matryoshka-project.github.io/pubs/satelimsup_article.pdf
Publisher's pagehttps://dl.acm.org/doi/10.1145/3565366
Authors' PDFhttps://matryoshka-project.github.io/pubs/satelimsup_article.pdf
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-023-09660-8
Authors' PDFhttps://matryoshka-project.github.io/pubs/splitting_article.pdf
Publisher's pagehttps://doi.org/10.1145/3573105.3575671
Authors' PDFhttps://zenodo.org/record/7430233/files/aesop.pdf?download=1
Authors' PDFhttps://nekoka-project.github.io/pubs/given.pdf
Publisher's pagehttps://drops.dagstuhl.de/opus/frontdoor.php?source_opus=18390
Authors' PDFhttps://lean-forward.github.io/pubs/grammars.pdf
Thesis (PDF) https://lean-forward.github.io/pubs/geesing_msc_thesis.pdf
Thesis (PDF) https://lean-forward.github.io/pubs/vuur_msc_thesis.pdf
Thesis (PDF) https://lean-forward.github.io/pubs/keizer_msc_thesis.pdf
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-022-09649-9
Authors' PDFhttps://matryoshka-project.github.io/pubs/hosup_article.pdf
Errata (PDF)https://matryoshka-project.github.io/pubs/hosup_article_errata.pdf
Publisher's pagehttps://doi.org/10.1007/978-3-031-30820-8_10
Authors' PDFhttps://matryoshka-project.github.io/pubs/lambdae.pdf
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-021-09611-1
Authors' PDFhttps://arxiv.org/pdf/2101.07758
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-022-09644-0
Publisher's pagehttps://drops.dagstuhl.de/opus/volltexte/2022/16713/
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-022-09621-7
Authors' PDFhttps://matryoshka-project.github.io/pubs/saturate_article.pdf
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-021-09613-z
Authors' PDFhttps://matryoshka-project.github.io/pubs/ho_techniques_article.pdf
Publisher's pagehttps://link.springer.com/content/pdf/10.1007/s10009-021-00639-7.pdf
Authors' PDFhttps://matryoshka-project.github.io/pubs/lfsup_article.pdf
Publisher's pagehttps://drops.dagstuhl.de/opus/volltexte/2022/16717/
Authors' PDFhttps://matryoshka-project.github.io/pubs/seventeen.pdf
Authors' PDFhttps://matryoshka-project.github.io/pubs/hounif_article.pdf
Publisher's pagehttps://doi.org/10.1007/s10817-021-09595-y
Authors' PDFhttps://matryoshka-project.github.io/pubs/lamsup_article.pdf
Thesis (PDF) https://lean-forward.github.io/pubs/konovalova_bsc_thesis.pdf
Thesis (PDF) https://lean-forward.github.io/pubs/kementzey_bsc_thesis.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/cnossen_bsc_thesis.pdf
Publisher's pagehttps://lmcs.episciences.org/7349
Authors' PDFhttps://matryoshka-project.github.io/pubs/lfhosup_article.pdf
Publisher's pagehttps://ieeexplore.ieee.org/document/9617710
Authors' PDFhttps://matryoshka-project.github.io/pubs/satelimsup_paper.pdf
Report (PDF)https://lean-forward.github.io/pubs/satelimsup_report.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/boneva_bsc_thesis.pdf
Publisher's pagehttps://drops.dagstuhl.de/opus/volltexte/2021/13900/
Authors' PDFhttps://lean-forward.github.io/class-number/paper.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-79876-5_22
Authors' PDFhttps://matryoshka-project.github.io/pubs/boolsup_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/boolsup_report.pdf
Errata (PDF)https://matryoshka-project.github.io/pubs/boolsup_errata.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-79876-5_20
Authors' PDFhttps://matryoshka-project.github.io/pubs/splitting_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/splitting_report.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-79876-5_23
Authors' PDFhttps://matryoshka-project.github.io/pubs/hosup_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/hosup_report.pdf
Errata (PDF)https://matryoshka-project.github.io/pubs/hosup_conf_errata.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-79876-5_24
Authors' PDFhttps://matryoshka-project.github.io/pubs/ho_techniques.pdf
Publisher's pagehttps://dl.acm.org/doi/10.1145/3437992.3439928
Author's PDFhttps://arxiv.org/pdf/2012.08990.pdf
Publisher's pagehttps://dl.acm.org/doi/10.1145/3437992.3439919
Authors' PDFhttps://arxiv.org/abs/2010.02595
Publisher's pagehttps://dl.acm.org/doi/10.1145/3437992.3439912
Authors' PDFhttps://matryoshka-project.github.io/pubs/satur_isa_paper.pdf
Authors' PDFhttps://lean-forward.github.io/norm_cast/norm_cast.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-53518-6_16
Authors' PDFhttps://lean-forward.github.io/mathlib-maintenance/paper.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-51054-1_2
Authors' PDFhttps://lean-forward.github.io/ring_exp/paper.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-51074-9_18
Authors' PDFhttps://matryoshka-project.github.io/pubs/saturate_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/saturate_report.pdf
Publisher's pagehttps://dl.acm.org/doi/pdf/10.1145/3372885.3373824
Authors' PDFhttps://leanprover-community.github.io/papers/mathlib-paper.pdf
Online viewerhttps://rdcu.be/b41lD
Publisher's pagehttps://link.springer.com/article/10.1007/s10817-020-09561-0
Authors' PDFhttps://matryoshka-project.github.io/pubs/rp_article.pdf
Report (PDF) https://lean-forward.github.io/internships/arithmetic_and_casting_in_lean.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/fischer_msc_thesis.pdf
Publisher's pagehttp://drops.dagstuhl.de/opus/volltexte/2019/11070/
Authors' PDFhttps://lean-forward.github.io/e-g/e-g.pdf
Proof sketch (PDF)https://lean-forward.github.io/e-g/CapSets.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-29436-6_4
Authors' PDFhttps://matryoshka-project.github.io/pubs/lamsup_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/lamsup_report.pdf
Publisher's pagehttps://link.springer.com/chapter/10.1007/978-3-030-17462-0_11
Authors' PDFhttps://matryoshka-project.github.io/pubs/ehoh_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/ehoh_report.pdf
Publisher's pagehttps://dl.acm.org/citation.cfm?id=3294089
Author's PDF http://robertylewis.com/padics/padics.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/dermitzakis_bsc_thesis.pdf
Publisher's pagehttps://doi.org/10.4230/LIPIcs.FSCD.2020.5
Authors' PDFhttps://matryoshka-project.github.io/pubs/hounif_paper.pdf
Report (PDF)https://matryoshka-project.github.io/pubs/hounif_report.pdf
Authors' PDFhttps://matryoshka-project.github.io/pubs/ho_bools_paper.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/lehenaff_report.pdf
Thesis (PDF) https://matryoshka-project.github.io/pubs/wagemaker_bsc_thesis.pdf
Logic and Modelling 2022–2023https://studiegids.vu.nl/en/bachelor/2022-2023/computer-science/X_401015
Logical Verification 2022–2023https://lean-forward.github.io/logical-verification/2022/index.html
Logic and Modelling 2021–2022https://studiegids.vu.nl/en/bachelor/2021-2022/computer-science/X_401015
Machine-Checked Mathematicshttps://lean-forward.github.io/lorentz-center-meeting/
Logical Verification 2021–2022https://lean-forward.github.io/logical-verification/2021/index.html
Logic and Modelling 2020–2021https://studiegids.vu.nl/en/bachelor/2020-2021/computer-science/X_401015
Lean Together 2021https://leanprover-community.github.io/lt2021/
Logical Verification 2020–2021https://lean-forward.github.io/logical-verification/2020/index.html
Logic and Modelling 2019–2020https://studiegids.vu.nl/en/bachelor/2019-2020/computer-science/X_401015
Logical Verification 2019–2020https://lean-forward.github.io/logical-verification/2019/index.html
Logic and Modelling 2018–2019https://studiegids.vu.nl/en/bachelor/2018-2019/computer-science/X_401015
Lean Together 2019https://lean-forward.github.io/lean-together/2019/index.html
Logical Verification 2018–2019https://lean-forward.github.io/logical-verification/2018/index.html
Leanhttps://leanprover.zulipchat.com/

Viewport: width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0, user-scalable=no


URLs of crawlers that visited me.