An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
☆14Jan 21, 2025Updated last year
Alternatives and similar repositories for HilbertProver
Users that are interested in HilbertProver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for "Computer Architecture" in 2020 Spring.☆28Jun 20, 2020Updated 6 years ago
- A simple html page to help your application use USTC CAS.☆20Feb 11, 2018Updated 8 years ago
- 课程主页☆33Jul 16, 2020Updated 6 years ago
- Linux 101 is a course organized by several members of LUG@USTC. It is designed to popularize Linux and open source culture in USTC. First…☆25Mar 14, 2020Updated 6 years ago
- ☆17Oct 27, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A gaussian kernel SVM designed from scratch, for tackling convex optimization problems, with non-linear data.☆15May 11, 2018Updated 8 years ago
- ☆115Jun 27, 2019Updated 7 years ago
- nakkaya.com☆44Dec 12, 2021Updated 4 years ago
- ☆18Nov 6, 2025Updated 8 months ago
- Codes for "GenAL: Generative Agent for Adaptive Learning" (AAAI'2025)☆22Apr 18, 2025Updated last year
- 组成原理课程实验：MIPS 流水线CPU，实现36条指令，转发，冒险检测☆11Feb 5, 2019Updated 7 years ago
- 写的快糙猛的课程作业（躺☆11May 2, 2020Updated 6 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Jul 13, 2026Updated last week
- USTC 18 计算机学院 个人资源分享☆24Mar 7, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Mar 11, 2017Updated 9 years ago
- ☆14Apr 24, 2026Updated 2 months ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- ☆17Apr 6, 2026Updated 3 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated 11 months ago
- An implementation of TinyLFU cache☆15Oct 10, 2022Updated 3 years ago
- This repo has been put together to demonstrate a number of simple MIPS Processors written in Chisel.☆18Jul 9, 2021Updated 5 years ago
- ☆36Jan 10, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Must-read papers on Reinforcement Learning (RL)☆54Nov 9, 2020Updated 5 years ago
- In-game overlay Flash timer for popular game League of Legends.☆10Aug 7, 2023Updated 2 years ago
- ☆23Nov 25, 2022Updated 3 years ago
- Cheat papers for CS courses in USTC. USTC计算机半开卷大抄☆41Feb 2, 2021Updated 5 years ago
- ☆50Aug 5, 2025Updated 11 months ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 5 years ago
- 日常事务 LaTeX 懒人包☆36Sep 4, 2022Updated 3 years ago
- My self-designed ZYNQ-7010 4-layer developement board.☆35Jul 25, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- 使用JSP+Servlet的构建的简单图床系统/A Simple ImageHost System Built BY JSP+Servlet.☆12Nov 15, 2020Updated 5 years ago
- Source files of Fundamental of Artificial Intelligence in the spring semester of junior (USTC 2020 spring)☆12Aug 9, 2020Updated 5 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- BestRAG: A library for hybrid RAG, combining dense, sparse, and late interaction methods for efficient document storage and search.☆19Dec 31, 2024Updated last year
- word template update based on python-docx☆11Feb 17, 2021Updated 5 years ago
- ☆19Jul 5, 2026Updated 2 weeks ago