Logo
Explore Help
Sign In
kiholee/uwca-semantic-mac
Watch 1
Star 0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
5020ab05695b0aebd97bef4a09601321b97e4648
uwca-semantic-mac/experiments/verification
T
History
Ki-Ho Lee 6099ce3063 Add standalone numerical verification of all closed forms
2026-08-25 20:29:59 +09:00
..
math_verify.json
Add standalone numerical verification of all closed forms
2026-08-25 20:29:59 +09:00
math_verify.py
Add standalone numerical verification of all closed forms
2026-08-25 20:29:59 +09:00
Powered by Gitea Version: 1.27.3 Page: 35ms Template: 0ms
Dark
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API