Popular repositories Loading

1. TCSReadingGroup TCSReadingGroup Public

   Forked from JamesShaker/TCSReadingGroup

   Running efforts of a HOL reading group mechanising M̶i̶c̶h̶a̶e̶l̶ ̶S̶i̶p̶s̶e̶r̶'̶s̶ ̶I̶n̶t̶r̶o̶d̶u̶c̶t̶i̶o̶n̶ ̶t̶o̶ ̶t̶h̶e̶ ̶T̶h̶e̶o̶r̶y̶ ̶o̶f̶ ̶C̶o̶m̶p̶u̶t̶a̶t̶i̶o̶n̶ Sidney Morris's Topology With…

   Standard ML

2. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

3. itp_ope itp_ope Public

   Forked from mn200/itp_paper_07

   Material to accompany the ITP2022 paper "Mechanizing Soundness of Off-Policy Evaluation"

   Standard ML

4. Python-Autograder-Template Python-Autograder-Template Public

   Template for Gradescope autograder used in a CS class

   Python

5. 25-Z-Solver 25-Z-Solver Public

   Python

6. 4D-Viewer 4D-Viewer Public

   Python app for viewing 4 dimensional objects.

   Python