René's URL Explorer Experiment

Title: GitHub - UniMath/Schools

Open Graph Title: GitHub - UniMath/Schools

X Title: GitHub - UniMath/Schools

Description: Contribute to UniMath/Schools development by creating an account on GitHub.

Open Graph Description: Contribute to UniMath/Schools development by creating an account on GitHub.

X Description: Contribute to UniMath/Schools development by creating an account on GitHub.

Opengraph URL: https://github.com/UniMath/Schools

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:d5fa6ed6-809f-2f52-3976-f6426263e08b
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	D062:36CA7:601C7C3:839C510:697CE167
html-safe-nonce	7233f5f36fb53cb2937bc99185916bf4e1ae17125147ed8bc82dac7e9cef1fa2
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMDYyOjM2Q0E3OjYwMUM3QzM6ODM5QzUxMDo2OTdDRTE2NyIsInZpc2l0b3JfaWQiOiI0Nzg2OTIxNTgzNTIyMTQ0NjE1IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac	f9554f2c26cd63d5babaacfdea84c14dc09e791735c2feb444b1b9053ad71933
hovercard-subject-tag	repository:116275265
github-keyboard-shortcuts	repository,copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	//
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/UniMath/Schools
twitter:image	https://opengraph.githubassets.com/b3fde73e9b68c2ef3a4b15955c0e9ae8a2989fec266fc297b3247f773d4ac1e6/UniMath/Schools
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/b3fde73e9b68c2ef3a4b15955c0e9ae8a2989fec266fc297b3247f773d4ac1e6/UniMath/Schools
og:image:alt	Contribute to UniMath/Schools development by creating an account on GitHub.
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	5f20df5019a7f846ce01350c443b1b5209bcc8b08d1ff80f92fdef440a0c7c89
turbo-cache-control	no-preview
go-import	github.com/UniMath/Schools git https://github.com/UniMath/Schools.git
octolytics-dimension-user_id	6826454
octolytics-dimension-user_login	UniMath
octolytics-dimension-repository_id	116275265
octolytics-dimension-repository_nwo	UniMath/Schools
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	false
octolytics-dimension-repository_network_root_id	116275265
octolytics-dimension-repository_network_root_nwo	UniMath/Schools
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	0f08fae6208283a46e6e5febf9878b9cdddfaa23
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://patch-diff.githubusercontent.com/UniMath/Schools#start-of-content
	https://patch-diff.githubusercontent.com/
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUniMath%2FSchools
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2FUniMath%2FSchools
Sign up	https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=UniMath%2FSchools
Reload	https://patch-diff.githubusercontent.com/UniMath/Schools
Reload	https://patch-diff.githubusercontent.com/UniMath/Schools
Reload	https://patch-diff.githubusercontent.com/UniMath/Schools
UniMath	https://patch-diff.githubusercontent.com/UniMath
Schools	https://patch-diff.githubusercontent.com/UniMath/Schools
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FSchools
Fork 25	https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FSchools
Star 94	https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FSchools
94 stars	https://patch-diff.githubusercontent.com/UniMath/Schools/stargazers
25 forks	https://patch-diff.githubusercontent.com/UniMath/Schools/forks
Branches	https://patch-diff.githubusercontent.com/UniMath/Schools/branches
Tags	https://patch-diff.githubusercontent.com/UniMath/Schools/tags
Activity	https://patch-diff.githubusercontent.com/UniMath/Schools/activity
Star	https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FSchools
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2FUniMath%2FSchools
Code	https://patch-diff.githubusercontent.com/UniMath/Schools
Issues 2	https://patch-diff.githubusercontent.com/UniMath/Schools/issues
Pull requests 0	https://patch-diff.githubusercontent.com/UniMath/Schools/pulls
Actions	https://patch-diff.githubusercontent.com/UniMath/Schools/actions
Projects 0	https://patch-diff.githubusercontent.com/UniMath/Schools/projects
Security 0	https://patch-diff.githubusercontent.com/UniMath/Schools/security
Insights	https://patch-diff.githubusercontent.com/UniMath/Schools/pulse
Code	https://patch-diff.githubusercontent.com/UniMath/Schools
Issues	https://patch-diff.githubusercontent.com/UniMath/Schools/issues
Pull requests	https://patch-diff.githubusercontent.com/UniMath/Schools/pulls
Actions	https://patch-diff.githubusercontent.com/UniMath/Schools/actions
Projects	https://patch-diff.githubusercontent.com/UniMath/Schools/projects
Security	https://patch-diff.githubusercontent.com/UniMath/Schools/security
Insights	https://patch-diff.githubusercontent.com/UniMath/Schools/pulse
Branches	https://patch-diff.githubusercontent.com/UniMath/Schools/branches
Tags	https://patch-diff.githubusercontent.com/UniMath/Schools/tags
	https://patch-diff.githubusercontent.com/UniMath/Schools/branches
	https://patch-diff.githubusercontent.com/UniMath/Schools/tags
222 Commits	https://patch-diff.githubusercontent.com/UniMath/Schools/commits/master/
	https://patch-diff.githubusercontent.com/UniMath/Schools/commits/master/
.github/workflows	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/.github/workflows
.github/workflows	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/.github/workflows
2017-12-Birmingham	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2017-12-Birmingham
2017-12-Birmingham	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2017-12-Birmingham
2019-04-Birmingham	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2019-04-Birmingham
2019-04-Birmingham	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2019-04-Birmingham
2019-07-Columbus	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2019-07-Columbus
2019-07-Columbus	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2019-07-Columbus
2022-07-Cortona	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2022-07-Cortona
2022-07-Cortona	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2022-07-Cortona
2024-07-Minneapolis	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2024-07-Minneapolis
2024-07-Minneapolis	https://patch-diff.githubusercontent.com/UniMath/Schools/tree/master/2024-07-Minneapolis
UniMath @ 175bd6c	https://patch-diff.githubusercontent.com/UniMath/UniMath/tree/175bd6c2d3136a1ff77063e4cc4a16c061259291
UniMath @ 175bd6c	https://patch-diff.githubusercontent.com/UniMath/UniMath/tree/175bd6c2d3136a1ff77063e4cc4a16c061259291
.dir-locals.el	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.dir-locals.el
.dir-locals.el	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.dir-locals.el
.gitignore	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.gitignore
.gitignore	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.gitignore
.gitmodules	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.gitmodules
.gitmodules	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/.gitmodules
Makefile	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/Makefile
Makefile	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/Makefile
README.md	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/README.md
README.md	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/README.md
_config.yml	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/_config.yml
_config.yml	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/_config.yml
dune-project	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/dune-project
dune-project	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/dune-project
installation.md	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/installation.md
installation.md	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/installation.md
README	https://patch-diff.githubusercontent.com/UniMath/Schools
	https://patch-diff.githubusercontent.com/UniMath/Schools#learning-material-for-univalent-mathematics-and-the-unimath-library
School on Univalent Mathematics, Minneapolis, 2024	https://unimath.github.io/minneapolis2024/
	https://patch-diff.githubusercontent.com/UniMath/Schools#school-on-univalent-mathematics-minneapolis-2024
Paige Randall North	https://paigenorth.github.io/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-1-type-theory-by-paige-randall-north
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/1_Type-Theory/minneapolis_lecture_1.pdf
Niels van der Weide	https://nmvdw.github.io
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-2-type-theory-by-niels-van-der-weide
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/2_Coq/Fundamentals_Coq.pdf
Coq file	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/2_Coq/fundamentals_lecture.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/2_Coq/coq_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/2_Coq/coq_solutions.v
Paige Randall North	https://paigenorth.github.io/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-3-univalent-foundations-by-paige-randall-north
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/3_Univalent-Foundations/minneapolis_lecture_3.pdf
Benedikt Ahrens	https://benediktahrens.gitlab.io
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-4-tactics-in-coq-by-benedikt-ahrens
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/4_Tactics/tactics_lecture.v
Lecture (extended)	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/4_Tactics/tactics_lecture_extended.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/4_Tactics/exercises_tactics.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/4_Tactics/exercises_tactics_with_solutions.v
Carlo Angiuli	https://carloangiuli.com/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-5-set-level-mathematics-by-carlo-angiuli
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/5_Set-level-mathematics/lecture5.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/5_Set-level-mathematics/set_level_mathematics_solutions.v
Niels van der Weide	https://nmvdw.github.io
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-6-univalent-category-theory-by-niels-van-der-weide
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/6_Category-theory-in-UF/lecture.pdf
Code	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/6_Category-theory-in-UF/category_theory.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/6_Category-theory-in-UF/category_theory_exercises.v
Exercises with solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/6_Category-theory-in-UF/category_theory_solutions.v
Favonia	https://favonia.org/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-7-synthetic-homotopy-theory-by-favonia
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/7_Synthetic-Homotopy-Theory/circle_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2024-07-Minneapolis/7_Synthetic-Homotopy-Theory/circle_solutions.v
School on Univalent Mathematics, Cortona, 2022	https://unimath.github.io/cortona2022/
	https://patch-diff.githubusercontent.com/UniMath/Schools#school-on-univalent-mathematics-cortona-2022
Gianluca Amato	https://www.sci.unich.it/~amato/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-1-type-theory-by-gianluca-amato
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/1_Type-Theory/Lecture_Type-Theory.pdf
Marco Maggesi	https://sites.google.com/unifi.it/maggesi/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-2-fundamentals-of-coq-by-marco-maggesi
Lecture	https://github.com/UniMath/Schools/tree/master/2022-07-Cortona/2_Fundamentals-Coq
Paige Randall North	https://paigenorth.github.io/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-3-univalent-foundations-by-paige-randall-north-1
Lecture	https://github.com/UniMath/Schools/tree/master/2022-07-Cortona/3_Univalent-foundations.pdf
Ralph Matthes	https://www.irit.fr/~/Ralph.Matthes/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-4-tactics-in-unimath-by-ralph-matthes
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/lecture_tactics.html
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/lecture_tactics.v
Extended Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/lecture_tactics_long_version.html
Extended Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/lecture_tactics_long_version.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/exercises_tactics.v
Advanced exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/weq_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/exercises_tactics_with_solutions.v
Advanced solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/4_Tactics-UniMath/weq_exercises_with_solutions.v
Benedikt Ahrens	https://benediktahrens.gitlab.io
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-5-set-level-mathematics-by-benedikt-ahrens
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/5_Set-level-mathematics/5_set_level_mathematics_lecture.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/5_Set-level-mathematics/set_level_mathematics_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/5_Set-level-mathematics/set_level_mathematics_solutions.v
Niels van der Weide	https://nmvdw.github.io
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-6-univalent-category-theory-by-niels-van-der-weide-1
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/6_Category_Theory/lecture.pdf
Code	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/6_Category_Theory/category_theory.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/6_Category_Theory/category_theory_exercises.v
Exercises with solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/6_Category_Theory/category_theory_solutions.v
Peter LeFanu Lumsdaine	http://peterlefanulumsdaine.com/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-7-synthetic-homotopy-theory-by-peter-lefanu-lumsdaine
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2022-07-Cortona/7_Synthetic-Homotopy-Theory/Synthetic_Homotopy_Theory.v
School and Workshop on Univalent Mathematics, Birmingham, 2019	https://unimath.github.io/bham2019/
	https://patch-diff.githubusercontent.com/UniMath/Schools#school-and-workshop-on-univalent-mathematics-birmingham-2019
	https://patch-diff.githubusercontent.com/UniMath/Schools#coq-and-unimath-installation-instructions
Installation Instructions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/installation.md
Andrej Bauer	http://www.andrej.com
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-1-spartan-type-theory-by-andrej-bauer
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part1_Spartan_Type_Theory/Spartan-Type-Theory.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part1_Spartan_Type_Theory/Spartan_exercises.html
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part1_Spartan_Type_Theory/Spartan_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part1_Spartan_Type_Theory/Spartan_solutions.v
Anders Mörtberg	https://staff.math.su.se/anders.mortberg/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-2-fundamentals-of-coq-by-anders-mörtberg
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part2_Fundamentals_Coq/fundamentals_lecture.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part2_Fundamentals_Coq/coq_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part2_Fundamentals_Coq/coq_solutions.v
Martín Hötzel Escardó	https://www.cs.bham.ac.uk/~mhe/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-3-univalent-foundations-by-martín-hötzel-escardó
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part3_Univalent_Foundations/uf.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part3_Univalent_Foundations/truncation_exercices.v
Ralph Matthes	https://www.irit.fr/~/Ralph.Matthes/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-4-tactics-by-ralph-matthes
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/lecture_tactics.v
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/lecture_tactics_long_version.v
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/exercises_tactics.v
Advanced exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/weq_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/exercises_tactics_with_solutions.v
Advanced solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part4_Tactics_UniMath/weq_exercises_with_solutions.v
Joj Helfer	http://web.stanford.edu/~joj/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-5-set-level-mathematics-by-joj-helfer
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part5_Set_Level_Mathematics/5_set_level_mathematics_lecture.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_solutions.v
Niels van der Weide	https://cs.ru.nl/~nweide/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-6-category-theory-in-unimath-by-niels-van-der-weide
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part6_Category_Theory/lecture.pdf
Exercises	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part6_Category_Theory/category_theory_exercises.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part6_Category_Theory/category_theory_solutions.v
Thorsten Altenkirch	http://www.cs.nott.ac.uk/~psztxa/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-7-paradoxes-by-thorsten-altenkirch
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part7_Paradoxes/GirardsParadox.v
Solutions	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part7_Paradoxes/GirardsParadox_solutions.v
Russel's Paradox	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part7_Paradoxes/RussellsParadox.v
Benedikt Ahrens	https://benediktahrens.net/
	https://patch-diff.githubusercontent.com/UniMath/Schools#lecture-8-unimath-its-origins-present-and-future-by-benedikt-ahrens
Lecture	https://patch-diff.githubusercontent.com/UniMath/Schools/blob/master/2019-04-Birmingham/Part8_UniMath_future/UniMath_past_present_future.pdf
Readme	https://patch-diff.githubusercontent.com/UniMath/Schools#readme-ov-file
Please reload this page	https://patch-diff.githubusercontent.com/UniMath/Schools
Activity	https://patch-diff.githubusercontent.com/UniMath/Schools/activity
Custom properties	https://patch-diff.githubusercontent.com/UniMath/Schools/custom-properties
94 stars	https://patch-diff.githubusercontent.com/UniMath/Schools/stargazers
14 watching	https://patch-diff.githubusercontent.com/UniMath/Schools/watchers
25 forks	https://patch-diff.githubusercontent.com/UniMath/Schools/forks
Report repository	https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2FUniMath%2FSchools&report=UniMath+%28user%29
Releases	https://patch-diff.githubusercontent.com/UniMath/Schools/releases
Packages 0	https://patch-diff.githubusercontent.com/orgs/UniMath/packages?repo_name=Schools
Please reload this page	https://patch-diff.githubusercontent.com/UniMath/Schools
Contributors 14	https://patch-diff.githubusercontent.com/UniMath/Schools/graphs/contributors
Please reload this page	https://patch-diff.githubusercontent.com/UniMath/Schools
Rocq Prover 54.5%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=rocq-prover
TeX 26.2%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=tex
HTML 18.5%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=html
CSS 0.5%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=css
Makefile 0.2%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=makefile
Emacs Lisp 0.1%	https://patch-diff.githubusercontent.com/UniMath/Schools/search?l=emacs-lisp
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.