https://pypi.org/project/matyos/ Recent updates to the Python Package Index for matyos en https://pypi.org/project/matyos/0.40.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Fri, 02 Oct 2026 17:21:11 GMT https://pypi.org/project/matyos/0.39.6/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Fri, 02 Oct 2026 16:40:06 GMT https://pypi.org/project/matyos/0.39.5/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 20:57:37 GMT https://pypi.org/project/matyos/0.39.4/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 16:55:33 GMT https://pypi.org/project/matyos/0.39.3/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 15:04:30 GMT https://pypi.org/project/matyos/0.39.1/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 13:40:22 GMT https://pypi.org/project/matyos/0.39.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 12:31:21 GMT https://pypi.org/project/matyos/0.38.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 27 Sep 2026 02:19:37 GMT https://pypi.org/project/matyos/0.36.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 20 Sep 2026 18:13:15 GMT https://pypi.org/project/matyos/0.35.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 20 Sep 2026 18:04:07 GMT https://pypi.org/project/matyos/0.34.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 20 Sep 2026 17:05:32 GMT https://pypi.org/project/matyos/0.33.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sat, 19 Sep 2026 16:29:23 GMT https://pypi.org/project/matyos/0.32.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Mon, 14 Sep 2026 21:43:34 GMT https://pypi.org/project/matyos/0.31.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Mon, 14 Sep 2026 21:01:55 GMT https://pypi.org/project/matyos/0.30.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Mon, 14 Sep 2026 20:55:22 GMT https://pypi.org/project/matyos/0.29.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Mon, 14 Sep 2026 20:21:07 GMT https://pypi.org/project/matyos/0.27.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 22:17:28 GMT https://pypi.org/project/matyos/0.26.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 21:56:22 GMT https://pypi.org/project/matyos/0.25.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 21:47:28 GMT https://pypi.org/project/matyos/0.24.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 21:38:29 GMT https://pypi.org/project/matyos/0.23.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 21:26:50 GMT https://pypi.org/project/matyos/0.22.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 19:36:09 GMT https://pypi.org/project/matyos/0.20.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 19:06:41 GMT https://pypi.org/project/matyos/0.19.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 18:37:21 GMT https://pypi.org/project/matyos/0.18.0/ MatyOS — a dependently-typed, LLM-native proof assistant with a discovery engine 58536023+HAFDIAHMED@users.noreply.github.com Sun, 13 Sep 2026 17:21:20 GMT