Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/twofx/twofx

Last synced: about 7 hours ago
JSON representation

Host: GitHub
URL: https://github.com/twofx/twofx
Owner: TwoFX
Created: 2024-07-16T11:55:32.000Z (4 months ago)
Default Branch: main
Last Pushed: 2024-10-16T08:50:03.000Z (22 days ago)
Last Synced: 2024-10-18T04:05:07.031Z (20 days ago)
Size: 2.93 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        I am a Research Software Engineer/Tech Lead at the [Lean FRO](https://lean-fro.org/) and a [mathlib maintainer](https://leanprover-community.github.io/teams/maintainers.html).

How to reach me: send me a message on [Zulip](https://leanprover.zulipchat.com/)

Pronouns: he/him