GitHub repository: tarnishedAlexander/large-logic-for-mathematics-and-statistics
Created: 2024-06-23T23:01:58Z
Description: programming language for mathematicians and statisticians