Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / data61

PSL

No description provided.

75Stars

9Forks

54Open issues

7Subscribers

Language distribution

Share of source bytes reported by GitHub

Isabelle51%

Standard ML31%

Python8%

OCaml6%

Shell3%

TeX<1%

Recent activity

Latest commits on the default branch

Update ROOTyutakang · Aug 9, 2026 contract for Heinzelmenyutakang · Aug 9, 2026 Support for Isar structural proofsyutakang · Aug 9, 2026 laptop spec collection from macOS.yutakang · Jul 19, 2026 accessyutakang · Jul 19, 2026 random without sortingyutakang · Jul 9, 2026 update README for Isabelle2025-2yutakang · Jul 9, 2026 remove thy files for aggregationyutakang · Jul 9, 2026

Project details

Created Aug 2016 Updated Aug 2026 Other

artificial-intelligenceconjecturedomain-specific-languageformal-methodsformal-proofsformal-verificationholinduction

Contributors

3

yutakang492 commits

keisrk4 commits

Coda-Coda1 commits

two plots side by side.yutakang · Jul 9, 2026

cactus plot and scatter plot side by side.yutakang · Jul 8, 2026