CJex/hol-light CJex/hol-light

  • Stars
    star
    1
  • Language Standard ML
  • License
    Other
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
CJex/hol-light
github

CJex

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

HOL Light is an interactive theorem prover / proof checker. Automatically exported from code.google.com/p/hol-light

More Repositories

1

regulex

🚧 Regular Expression Excited!
TypeScript
5,707
star
2

PlainSite

PlainSite：A Truely Hackable Static Site Generator.
Ruby
31
star
3

ShunEncode

🐶巷议，通过简单混淆来规避敏感词程序的审查
JavaScript
15
star
4

anthology

Jex's Code Anthology
Assembly
4
star
5

PLPapers

Programming Language Papers Bookmarks
Python
2
star
6

cjex.github.io

Jex is dead
HTML
1
star