GitHub - pygae/lean-ga-docs: Documentation for https://github.com/pygae/lean-ga

1 Branch 0 Tags

Name	Name	Last commit message	Last commit date
Latest commit History 1 Commit
algebra	algebra	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
analysis	analysis	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
category_theory	category_theory	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
combinatorics	combinatorics	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
control	control	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
data	data	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
dynamics	dynamics	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
examples	examples	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
field_theory	field_theory	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
find	find	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
for_mathlib	for_mathlib	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
geometric_algebra	geometric_algebra	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
group_theory	group_theory	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
init	init	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
linear_algebra	linear_algebra	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
logic	logic	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
meta	meta	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
order	order	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
ring_theory	ring_theory	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
set_theory	set_theory	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
system	system	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
tactic	tactic	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
topology	topology	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
404.html	404.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
STIXTwoMath.woff2	STIXTwoMath.woff2	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
STIXlicense.txt	STIXlicense.txt	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
add_commit.js	add_commit.js	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
attributes.html	attributes.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
color_scheme.js	color_scheme.js	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
commands.html	commands.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
decl.bmp	decl.bmp	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
export_db.json.gz	export_db.json.gz	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
favicon.ico	favicon.ico	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
foundational_types.html	foundational_types.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
hole_commands.html	hole_commands.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
import.gexf	import.gexf	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
index.html	index.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
latex.html	latex.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
meta-og.png	meta-og.png	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
meta-twitter.png	meta-twitter.png	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
nav.js	nav.js	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
notes.html	notes.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
pygments-dark.css	pygments-dark.css	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
pygments.css	pygments.css	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
references.html	references.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
search.js	search.js	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
searchable_data.bmp	searchable_data.bmp	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
sitemap.txt	sitemap.txt	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
style.css	style.css	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023
tactics.html	tactics.html	Deploying to gh-pages from @ a7708f1a8aa4a58fd313ea52a101cb92e97d227f 🚀	Oct 25, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

About

Releases

Packages

pygae/lean-ga-docs

Folders and files

Latest commit

History

About

Stars

Watchers

Forks

Releases

Packages 0

Packages