GitHub repository: sebaxor/axiomath
Created: 2023-06-20T08:09:55Z
Description: Mathematical framework