playing with gpt4
☆14Mar 17, 2023Updated 2 years ago
Alternatives and similar repositories for proof-chat-fun
Users that are interested in proof-chat-fun are comparing it to the libraries listed below
Sorting:
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated 10 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 3 weeks ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Aug 21, 2025Updated 6 months ago
- Nightly builds☆23Feb 24, 2026Updated last week
- RoBERTa Marathi Language model trained from scratch during huggingface 🤗 x flax community week☆28Jul 18, 2021Updated 4 years ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- Formalization of C++ for verification purposes.☆90Feb 23, 2026Updated last week
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Template for a basic academic page☆16Feb 24, 2026Updated last week
- ☆11Apr 30, 2021Updated 4 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- POC for CVE-2023-29360☆12Aug 31, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 2 years ago
- ☆16Dec 14, 2023Updated 2 years ago
- Implementation of CORE in cpp☆12Feb 23, 2026Updated last week
- Digital texts in Prakrit☆10Sep 14, 2025Updated 5 months ago
- DbgFlashVul☆12Sep 8, 2015Updated 10 years ago
- Spring4Shell (CVE-2022-22965)☆12Apr 7, 2022Updated 3 years ago
- Shellcode异或加密工具☆12Mar 23, 2017Updated 8 years ago
- The offical code for paper "What Constitutes a Faithful Summary? Preserving Author Perspectives in News Summarization"☆10Jun 23, 2024Updated last year
- ☆25Sep 3, 2025Updated 6 months ago
- ☆14Nov 5, 2020Updated 5 years ago
- Scripts for quantifying stuff from my life☆19Nov 1, 2015Updated 10 years ago
- ☆16Jun 9, 2024Updated last year
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 3 months ago
- fork old V8 source(tag: 1.2.14.20), make it works for MacOS with CMake, for study purpose☆12Mar 25, 2023Updated 2 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- CVE-2022-3910☆12Mar 14, 2023Updated 2 years ago
- CS外挂☆12Mar 25, 2019Updated 6 years ago
- Proof of concept for CVE-2018-4150 by @cmwdotme☆14May 8, 2018Updated 7 years ago
- android 内存dump，不会触发ptrace检测☆10Jul 4, 2018Updated 7 years ago
- Android 脱壳☆14Mar 23, 2022Updated 3 years ago