xamidi / pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
☆13Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for pmGenerator
- A nodejs CRUD app for notes and has good features you can improve on.☆14Updated 11 months ago
- ☆10Updated 4 months ago
- Example usage of sass with modenizr and media queries☆6Updated 11 years ago
- Este repositório contém exercícios em JavaScript que criei para praticar e consolidar meus conhecimentos. Ele abrange uma variedade de tó…☆12Updated last month
- public dot files☆10Updated 3 weeks ago
- Short projects with JS and PHP☆18Updated 9 months ago
- ☆7Updated 2 years ago
- All exercises from my passed courses. My current one - Objected Oriented Programming (OOP)☆12Updated 4 months ago
- Repositry Cake murder : Sept 4 2023☆17Updated 10 months ago
- This is ecommerce project by using Laravel☆12Updated 2 months ago
- Git log JSON service without express☆14Updated 3 weeks ago
- ☆10Updated 11 months ago
- ☆12Updated 8 months ago
- ☆26Updated last year
- ☆9Updated 2 months ago
- ☆7Updated 3 months ago
- some ready to use react components such as navbar, card etc.☆9Updated 9 months ago
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆13Updated this week
- ☆12Updated 2 months ago
- ☆6Updated 11 months ago
- ☆9Updated 7 months ago
- ☆25Updated 4 months ago
- Ultra-high-resolution CO2 thermophysical property calculation program☆12Updated 7 months ago
- This application enables users to create and open SQLite databases, create tables, load data from json, csv and Parquet files, display ta…☆18Updated 3 months ago
- a small website with infos about myself, hosted as an azure app service 🌎☆9Updated 2 weeks ago
- ☆12Updated 3 months ago
- 🌴 Empowering everyone to build reliable and efficient smart contracts.☆7Updated last year