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 5 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.☆50Aug 21, 2025Updated last year
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- Nightly builds☆23Updated this week
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 3 years ago
- RoBERTa Marathi Language model trained from scratch during huggingface 🤗 x flax community week☆28Jul 18, 2021Updated 5 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- ☆17Updated this week
- Using PyTorch to apply machine learning techniques to source code.☆10Mar 28, 2020Updated 6 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Guide for fixing 99-100% of cracking sound issues on Dell XPS 15 9570☆11Nov 1, 2018Updated 7 years ago
- 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.
- Congruence Closure Procedure in Cubical Agda☆20Aug 19, 2020Updated 6 years ago
- ☆10Sep 23, 2024Updated 2 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
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆54Jul 17, 2024Updated 2 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Formalization of C++ for verification purposes.☆109Updated this week
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- A library for automating and extending the capabilities of the USOSweb interface. Allows for monitoring for changes and dispatching notif…☆10Jun 11, 2018Updated 8 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- 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.
- The offical code for paper "What Constitutes a Faithful Summary? Preserving Author Perspectives in News Summarization"☆10Jun 23, 2024Updated 2 years ago
- ☆14Aug 30, 2023Updated 3 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- School. Open sourced.☆14Aug 28, 2014Updated 12 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 9 years ago
- CopyBench: Measuring Literal and Non-Literal Reproduction of Copyright-Protected Text in Language Model Generation☆14Aug 19, 2025Updated last year
- Python3 / Selenium solution for automating your Facebook usage☆12Jan 11, 2016Updated 10 years ago
- Code for Chain-of-Layer☆11Apr 12, 2024Updated 2 years ago
- Building the linear algebra game!☆10Dec 2, 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.
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆57Sep 6, 2023Updated 3 years ago
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 years ago
- ☆12Feb 6, 2024Updated 2 years ago
- ☆23Dec 2, 2024Updated last year
- ☆11Jun 6, 2022Updated 4 years ago
- OCaml bindings to Minisat☆13May 6, 2024Updated 2 years ago
- SDPA gmp (arbitrary pricision) version☆10Jan 17, 2025Updated last year