-
-
husky Public
Forked from gengteng/huskyEmpowering everyone towards next generation AI and software.
Rust MIT License UpdatedDec 10, 2024 -
-
-
-
-
ari-conversion Public
Forked from fabeulous/ari-conversionA tool for converting between different formats of rewrite systems.
Haskell GNU General Public License v3.0 UpdatedJun 18, 2024 -
coq-tactician Public
Forked from coq-tactician/coq-tacticianA Seamless, Interactive Tactic Learner and Prover for Coq
OCaml UpdatedJan 10, 2024 -
-
academicpages.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedSep 26, 2023 -
FOIL_Prolog Public
Forked from pashok3d/FOIL_PrologFirst Order Inductive Learner (FOIL) algorithm implemented in Prolog
Prolog GNU Lesser General Public Licens B308 e v3.0 UpdatedJun 3, 2023 -
bolei_awesome_posters Public
Forked from zhoubolei/bolei_awesome_postersCVPR and NeurIPS poster examples and templates. May we have in-person poster session soon!
UpdatedMay 9, 2023 -
SimpleDarkBlue-BeamerTheme Public
Forked from PM25/SimpleDarkBlue-BeamerTheme🫐 SimpleDarkBlue - A simple latex beamer theme.
TeX The Unlicense UpdatedMar 19, 2023 -
-
-
coq-elpi Public
Forked from LPCIC/coq-elpiCoq plugin embedding elpi
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 13, 2023 -
coq-tactician-stdlib Public
Forked from coq-tactician/coq-tactician-stdlibThis package will recompile Coq's standard library with support for Tactician.
Makefile UpdatedFeb 2, 2023 -
SF_proof_library Public
Forked from marshall-lee/software_foundationsMy solutions to Software Foundations course in Coq proof assistant.
Coq MIT License UpdatedJan 10, 2023 -
leetcode-master Public
Forked from youngyangyang04/leetcode-master《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
UpdatedSep 2, 2022 -
SummaryOfLoanSuspension Public
Forked from WeNeedHome/SummaryOfLoanSuspension全国各省市停贷通知汇总
UpdatedJul 14, 2022 -
-
SimplePlus-BeamerTheme Public
Forked from PM25/SimplePlus-BeamerThemeA Simple & Clear Latex Beamer Theme.
-
CoqGym Public
Forked from princeton-vl/CoqGymA Learning Environment for Theorem Proving with the Coq proof assistant
Coq GNU Lesser General Public License v2.1 UpdatedOct 2, 2020 -
introRL Public
Forked from zhoubolei/introRLIntro to Reinforcement Learning (强化学习纲要）
MIT License UpdatedJul 25, 2020 -
coq-1 Public
Forked from LasseBlaauwbroek/coqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 7, 2020 -
sml-handbook Public
Forked from logic-tools/sml-handbookSML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
OCaml UpdatedJan 8, 2017
{{ message }}