https://github.com/joao-marco-jf/mathlib

https://github.com/joao-marco-jf/mathlib

Last synced: about 13 hours ago
JSON representation

• Host: GitHub
• URL: https://github.com/joao-marco-jf/mathlib
• Owner: joao-marco-jf
• Created: 2024-03-16T18:18:41.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-03-16T20:21:28.000Z (8 months ago)
• Last Synced: 2024-05-17T15:20:23.031Z (6 months ago)
• Language: C
• Homepage:
• Size: 1.95 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project