playing with gpt4
☆13Mar 17, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- 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
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Aug 21, 2025Updated 10 months ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last month
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- Nightly builds☆23Updated this week
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 5 years ago
- Formalization of C++ for verification purposes.☆95Updated this week
- RoBERTa Marathi Language model trained from scratch during huggingface 🤗 x flax community week☆28Jul 18, 2021Updated 4 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 3 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆54Jul 17, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Guide for fixing 99-100% of cracking sound issues on Dell XPS 15 9570☆11Nov 1, 2018Updated 7 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated last year
- The offical code for paper "What Constitutes a Faithful Summary? Preserving Author Perspectives in News Summarization"☆10Jun 23, 2024Updated 2 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- ☆12Jan 20, 2025Updated last year
- ScienceMeter: Tracking Scientific Knowledge Updates in Language Models☆17Jun 28, 2025Updated last year
- ☆23Dec 2, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Aug 30, 2023Updated 2 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- JPEG-LM: LLMs as Image Generators with Canonical Codec Representations☆16Sep 29, 2024Updated last year
- Xie's R Archive Network (experimental and for my personal interest only)☆26Sep 6, 2021Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆58Sep 6, 2023Updated 2 years ago
- Python3 / Selenium solution for automating your Facebook usage☆12Jan 11, 2016Updated 10 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- ☆17Dec 14, 2023Updated 2 years ago
- The code implementation of the paper Stumbling Blocks: Stress Testing the Robustness of Machine-Generated Text Detectors Under Attacks (A…☆13Jul 16, 2024Updated last year
- Scripts for quantifying stuff from my life☆19Nov 1, 2015Updated 10 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 8 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆16Dec 8, 2023Updated 2 years ago
- Code for "FactKB: Generalizable Factuality Evaluation using Language Models Enhanced with Factual Knowledge". EMNLP 2023.☆20Dec 25, 2023Updated 2 years ago