Tau Team - Lucca Tiemens 💎 #shorts #TauTeam #TMLDeveloper
Lucca Tiemens - TML Developer
Lucca is a master student of Mathematics at Technische Universität Berlin. He has worked in industrial research projects at Fraunhofer IPK as a programmer and was employed at Freie Universität Berlin for tutoring Bachelor’s courses in mathematics. His Bachelor thesis was published at the RAMICS 2020 conference. He is further experienced in formalizing category theory in the proof assistant Isabelle/HOL.
Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/
Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka
#Mathematics #Research #Programming #IsabelleHOL #RAMICS2020 #Tutoring #IndustrialResearch #TMLDeveloper #FraunhoferIPK #FreieUniversitätBerlin #CategoryTheory
-
44:00
Winston Marshall
1 day ago“A HUGE Error!” Dan Crenshaw On Biden’s Biggest Failures | The Winston Marshall Show #022
46.5K145 -
1:39:06
Steve-O's Wild Ride! Podcast
2 days ago $0.35 earnedFousey Opens Up About Losing His Millions (And His Mind) - Wild Ride #225
45.3K6 -
6:13
Adam Does Movies
8 hours agoRobert Downey Jr. Is Dr. Doom! WTF?
58.3K45 -
35:07
TampaAerialMedia
1 day agoGreat CHARLOTTE, NC 2024 - Travel Guide
57.9K11 -
10:23
Freakin' Reviews
9 hours agoThis Bed Went Viral Online, So I Tried It Out
53.7K21 -
19:57
Cody and Kellie
10 hours agoTruck Camping on The Oregon Coast (The Best Ice Cream)
49.2K12 -
9:51
RealitySurvival
1 day agoEmergency Vehicle Gear Storage For My SUV
49.2K8 -
44:37
Squaring The Circle, A Randall Carlson Podcast
1 day ago#013 The Cosmos Speaks: The Tunguska Impact Event Pt.3
50.4K6 -
29:00
Degenerate Plays
1 day agoEvil Lord Of The Rings Be Like... - Call Of Duty Modern Warfare Remastered : Part 15
49.4K2 -
5:50
Chris Jericho
1 day agoTalk Is Jericho Highlight: Steven Rosen’s 26-Year Friendship with Edward Van Halen
36.4K8