Pinned Repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
aleph
Port of Aleph to SWI-Prolog
ari-conversion
A tool for converting between different formats of rewrite systems.
benchmark-system
coq-1
Coq 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 development of machine-checked proofs.
coq-elpi
Coq plugin embedding elpi
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coq-tactician-stdlib
This package will recompile Coq's standard library with support for Tactician.
SimplePlus-BeamerTheme
A Simple & Clear Latex Beamer Theme.
Zhang-Liao's Repositories
Zhang-Liao/SimplePlus-BeamerTheme
A Simple & Clear Latex Beamer Theme.
Zhang-Liao/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Zhang-Liao/aleph
Port of Aleph to SWI-Prolog
Zhang-Liao/ari-conversion
A tool for converting between different formats of rewrite systems.
Zhang-Liao/benchmark-system
Zhang-Liao/coq-1
Coq 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 development of machine-checked proofs.
Zhang-Liao/coq-elpi
Coq plugin embedding elpi
Zhang-Liao/coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
Zhang-Liao/coq-tactician-stdlib
This package will recompile Coq's standard library with support for Tactician.
Zhang-Liao/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
Zhang-Liao/FOIL_Prolog
First Order Inductive Learner (FOIL) algorithm implemented in Prolog
Zhang-Liao/introRL
Intro to Reinforcement Learning (强化学习纲要）
Zhang-Liao/leetcode-master
《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
Zhang-Liao/reinforcement-learning
Zhang-Liao/ilp_coq
Zhang-Liao/lee-ml
Zhang-Liao/SF_proof_library
My solutions to Software Foundations course in Coq proof assistant.
Zhang-Liao/ShiArthur03
Zhang-Liao/SimpleDarkBlue-BeamerTheme
🫐 SimpleDarkBlue - A simple latex beamer theme.
Zhang-Liao/SKI_combinator
OCaml SKI combinator and unification
Zhang-Liao/sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Zhang-Liao/SummaryOfLoanSuspension
全国各省市停贷通知汇总
Zhang-Liao/tree_diff1