Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

matematiflo

@matematiflo@mathstodon.xyz
mastodon 4.6.4
  • Open on mathstodon.xyz

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

0 Followers
0 Following
4 Posts
Joined December 20, 2024
Website:
https://matematiflo.github.io
GitHub:
https://github.com/matematiflo
YouTube:
https://www.youtube.com/@matematiflo

Posts

Open post
matematiflo
matematiflo @matematiflo@mathstodon.xyz · May 12, 2026
matematiflo
@matematiflo@mathstodon.xyz

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

mathstodon.xyz
Replying to @de_Jong_Tom@mathstodon.xyz
@chrisTheClimber@mathstodon.xyz I agree with everything @de_Jong_Tom@mathstodon.xyz said, and you are certainly welcome to attend the event in Heidelberg! I’m sure you will always get something out of the lectures and talks, so if you are interested in the topic and you have the possibility to attend, I think it would be worth it ☺️ @mevenlennonbertrand@lipn.info
2
1
0
0
Open post
matematiflo
matematiflo @matematiflo@mathstodon.xyz · May 09, 2026
matematiflo
@matematiflo@mathstodon.xyz

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

mathstodon.xyz
Replying to @jeanas@mathstodon.xyz
@jeanas@mathstodon.xyz Oh, absolutely! You already have a strong background in type theory, so I am not worried at all :) Hope to see you there! @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info
1
1
0
0
Open post
matematiflo
matematiflo @matematiflo@mathstodon.xyz · May 09, 2026
matematiflo
@matematiflo@mathstodon.xyz

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

mathstodon.xyz

3-day workshop on Formal Proof and Synthetic Mathematics to be held in Heidelberg, 24-26 June 2026!

2 mini-courses + 6 research talks

@de_Jong_Tom@mathstodon.xyz and @mevenlennonbertrand@lipn.info among the speakers 😊

Registration deadline: May 24th, 2026.

Spread the word! 🫶

https://matematiflo.github.io/ProofWorkshop2026/

5
8
13
0
Open post
matematiflo
matematiflo @matematiflo@mathstodon.xyz · Apr 09, 2026
matematiflo
@matematiflo@mathstodon.xyz

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

mathstodon.xyz
Replying to @oantolin@mathstodon.xyz
@oantolin @andrejbauer Exactly, you didn’t state what was meant by rotation, so it should be fine 😇 I enjoyed the podcast as well! (as usual with #aboutlogic)
0
0
0
0

Remote instance

mathstodon.xyz
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 05:01:38 UTC