Outer Web | Explore

Explore >> Select a destination

You are here		leanprover-community.github.io Completion of the Liquid Tensor Experiment \| Lean community blog
\|	\|	xenaproject.wordpress.com Beyond the Liquid Tensor Experiment \| Xena	1.1 parsecs away Travel
\|	\|	The liquid tensor experiment is now fully completed.	1.1 parsecs away Travel
\|	\|	conferences.cirm-math.fr 2970 - conferences.cirm-math.fr	3.7 parsecs away Travel
\|	\|	CONFERENCE Lean for the curious mathematicianLean pour mathématiciens États de la Recherche SMF 25 29 March, 2024 WARNING: The conference is now full, you can still apply for the waiting list until Jan 15th 2024. We will contact you if new places become available. ATTENTION: La conférence est complète, vous pouvez encore vous []	3.7 parsecs away Travel
\|	\|	martincmartin.com Talking at Boston Postmortem \| Martin C. Martin	8.7 parsecs away Travel
\|	\|	I'll be giving my talk on game design, Just One More Game..., at the Boston Postmortem tomorrow. Here's hoping it goes over well!	8.7 parsecs away Travel
\|	\|	thisandthatthenextpart.wordpress.com Which Way Photo Challenge: January 29, 2021 - This and That: The Next Part	18.5 parsecs away Travel
\|		Visit the post for more.	18.5 parsecs away Travel