René's URL Explorer Experiment


Title: proposition · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:27f6e622-923b-d01a-2c6a-dae5f2e3c0b7
current-catalog-service-hash82c569b93da5c18ed649ebd4c2c79437db4611a6a1373e805a3cb001c64130b7
request-idC870:3526D5:4AB64E:63DEFC:698CFBDA
html-safe-nonce47d25a353a74ba42d2a8167156a370a59b066771e12c99727d93c355d2c972e2
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDODcwOjM1MjZENTo0QUI2NEU6NjNERUZDOjY5OENGQkRBIiwidmlzaXRvcl9pZCI6IjgyMzU1MjcyODg1MDc5MjM0MTgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacaaebf15779376f1260fa08532e6bd55fec26574bbf15f5b8f55fa2c6c8911d00
github-keyboard-shortcutscopilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/topics/proposition
og:site_nameGitHub
og:imagehttps://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:typeimage/png
og:image:width1200
og:image:height620
twitter:site:id13334762
twitter:creatorgithub
twitter:creator:id13334762
twitter:cardsummary_large_image
twitter:imagehttps://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width1200
twitter:image:height1200
hostnamegithub.com
expected-hostnamegithub.com
None09447bc7ef1f50c40a646f48e82dfbd31133c28c940bfee5a938619ac0191038
turbo-cache-controlno-preview
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release02f0047575af3d968e1dea9cf0b6015a852cddfe
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/topics/proposition#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fproposition
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fproposition
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fproposition&source=header
Reloadhttps://patch-diff.githubusercontent.com/topics/proposition
Reloadhttps://patch-diff.githubusercontent.com/topics/proposition
Reloadhttps://patch-diff.githubusercontent.com/topics/proposition
Explorehttps://patch-diff.githubusercontent.com/explore
Topicshttps://patch-diff.githubusercontent.com/topics
Trendinghttps://patch-diff.githubusercontent.com/trending
Collectionshttps://patch-diff.githubusercontent.com/collections
Eventshttps://patch-diff.githubusercontent.com/events
GitHub Sponsorshttps://patch-diff.githubusercontent.com/sponsors/explore
Star https://patch-diff.githubusercontent.com/login?return_to=%2Ftopic.proposition
All 12 https://github.com/topics/proposition
Python 4 https://github.com/topics/proposition?l=python
JavaScript 1 https://github.com/topics/proposition?l=javascript
SCSS 1 https://github.com/topics/proposition?l=scss
TeX 1 https://github.com/topics/proposition?l=tex
Vue 1 https://github.com/topics/proposition?l=vue
Solidity 1 https://github.com/topics/proposition?l=solidity
Most stars https://patch-diff.githubusercontent.com/topics/proposition?o=desc&s=stars
Fewest stars https://patch-diff.githubusercontent.com/topics/proposition?o=asc&s=stars
Most forks https://patch-diff.githubusercontent.com/topics/proposition?o=desc&s=forks
Fewest forks https://patch-diff.githubusercontent.com/topics/proposition?o=asc&s=forks
Recently updated https://patch-diff.githubusercontent.com/topics/proposition?o=desc&s=updated
Least recently updated https://patch-diff.githubusercontent.com/topics/proposition?o=asc&s=updated
thorepethttps://patch-diff.githubusercontent.com/thorepet
mwg-reviewhttps://patch-diff.githubusercontent.com/thorepet/mwg-review
Star 25 https://patch-diff.githubusercontent.com/login?return_to=%2Fthorepet%2Fmwg-review
Code https://patch-diff.githubusercontent.com/thorepet/mwg-review
Issues https://patch-diff.githubusercontent.com/thorepet/mwg-review/issues
Pull requests https://patch-diff.githubusercontent.com/thorepet/mwg-review/pulls
definitionhttps://patch-diff.githubusercontent.com/topics/definition
latexhttps://patch-diff.githubusercontent.com/topics/latex
latex-documenthttps://patch-diff.githubusercontent.com/topics/latex-document
economicshttps://patch-diff.githubusercontent.com/topics/economics
microeconomicshttps://patch-diff.githubusercontent.com/topics/microeconomics
transcripthttps://patch-diff.githubusercontent.com/topics/transcript
textbookhttps://patch-diff.githubusercontent.com/topics/textbook
transcriptionhttps://patch-diff.githubusercontent.com/topics/transcription
lemmahttps://patch-diff.githubusercontent.com/topics/lemma
graduatehttps://patch-diff.githubusercontent.com/topics/graduate
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
mwghttps://patch-diff.githubusercontent.com/topics/mwg
mascolellhttps://patch-diff.githubusercontent.com/topics/mascolell
catseyehttps://patch-diff.githubusercontent.com/catseye
Samovarhttps://patch-diff.githubusercontent.com/catseye/Samovar
Star 18 https://patch-diff.githubusercontent.com/login?return_to=%2Fcatseye%2FSamovar
Code https://patch-diff.githubusercontent.com/catseye/Samovar
Issues https://patch-diff.githubusercontent.com/catseye/Samovar/issues
Pull requests https://patch-diff.githubusercontent.com/catseye/Samovar/pulls
https://codeberg.org/catseye/Samovarhttps://codeberg.org/catseye/Samovar
dslhttps://patch-diff.githubusercontent.com/topics/dsl
hoare-logichttps://patch-diff.githubusercontent.com/topics/hoare-logic
simulation-enginehttps://patch-diff.githubusercontent.com/topics/simulation-engine
story-generationhttps://patch-diff.githubusercontent.com/topics/story-generation
experimental-languagehttps://patch-diff.githubusercontent.com/topics/experimental-language
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
production-systemshttps://patch-diff.githubusercontent.com/topics/production-systems
production-systemhttps://patch-diff.githubusercontent.com/topics/production-system
saky-semicolonhttps://patch-diff.githubusercontent.com/saky-semicolon
Propositional-Logic-in-Artificial-Intelligencehttps://patch-diff.githubusercontent.com/saky-semicolon/Propositional-Logic-in-Artificial-Intelligence
Sponsor https://patch-diff.githubusercontent.com/sponsors/saky-semicolon
Star 7 https://patch-diff.githubusercontent.com/login?return_to=%2Fsaky-semicolon%2FPropositional-Logic-in-Artificial-Intelligence
Code https://patch-diff.githubusercontent.com/saky-semicolon/Propositional-Logic-in-Artificial-Intelligence
Issues https://patch-diff.githubusercontent.com/saky-semicolon/Propositional-Logic-in-Artificial-Intelligence/issues
Pull requests https://patch-diff.githubusercontent.com/saky-semicolon/Propositional-Logic-in-Artificial-Intelligence/pulls
pythonhttps://patch-diff.githubusercontent.com/topics/python
aihttps://patch-diff.githubusercontent.com/topics/ai
logichttps://patch-diff.githubusercontent.com/topics/logic
python-3https://patch-diff.githubusercontent.com/topics/python-3
cs50https://patch-diff.githubusercontent.com/topics/cs50
propositional-logichttps://patch-diff.githubusercontent.com/topics/propositional-logic
artificialintelligencehttps://patch-diff.githubusercontent.com/topics/artificialintelligence
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
rid14realhttps://patch-diff.githubusercontent.com/rid14real
SmartLandhttps://patch-diff.githubusercontent.com/rid14real/SmartLand
Star 7 https://patch-diff.githubusercontent.com/login?return_to=%2Frid14real%2FSmartLand
Code https://patch-diff.githubusercontent.com/rid14real/SmartLand
Issues https://patch-diff.githubusercontent.com/rid14real/SmartLand/issues
Pull requests https://patch-diff.githubusercontent.com/rid14real/SmartLand/pulls
ownershiphttps://patch-diff.githubusercontent.com/topics/ownership
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
land-registrationhttps://patch-diff.githubusercontent.com/topics/land-registration
land-titleshttps://patch-diff.githubusercontent.com/topics/land-titles
deed-recordinghttps://patch-diff.githubusercontent.com/topics/deed-recording
michalbiehttps://patch-diff.githubusercontent.com/michalbie
Itamae-Sushi-Websitehttps://patch-diff.githubusercontent.com/michalbie/Itamae-Sushi-Website
Star 6 https://patch-diff.githubusercontent.com/login?return_to=%2Fmichalbie%2FItamae-Sushi-Website
Code https://patch-diff.githubusercontent.com/michalbie/Itamae-Sushi-Website
Issues https://patch-diff.githubusercontent.com/michalbie/Itamae-Sushi-Website/issues
Pull requests https://patch-diff.githubusercontent.com/michalbie/Itamae-Sushi-Website/pulls
reacthttps://patch-diff.githubusercontent.com/topics/react
websitehttps://patch-diff.githubusercontent.com/topics/website
designhttps://patch-diff.githubusercontent.com/topics/design
ui-designhttps://patch-diff.githubusercontent.com/topics/ui-design
uihttps://patch-diff.githubusercontent.com/topics/ui
nextjshttps://patch-diff.githubusercontent.com/topics/nextjs
scsshttps://patch-diff.githubusercontent.com/topics/scss
concepthttps://patch-diff.githubusercontent.com/topics/concept
sushihttps://patch-diff.githubusercontent.com/topics/sushi
website-designhttps://patch-diff.githubusercontent.com/topics/website-design
restaurant-websitehttps://patch-diff.githubusercontent.com/topics/restaurant-website
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
website-concepthttps://patch-diff.githubusercontent.com/topics/website-concept
sushi-websitehttps://patch-diff.githubusercontent.com/topics/sushi-website
sushi-restauranthttps://patch-diff.githubusercontent.com/topics/sushi-restaurant
jimarlowhttps://patch-diff.githubusercontent.com/jimarlow
CVTConceptMapVisualEditorhttps://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapVisualEditor
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fjimarlow%2FCVTConceptMapVisualEditor
Code https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapVisualEditor
Issues https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapVisualEditor/issues
Pull requests https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapVisualEditor/pulls
maphttps://patch-diff.githubusercontent.com/topics/map
concepthttps://patch-diff.githubusercontent.com/topics/concept
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
jimarlowhttps://patch-diff.githubusercontent.com/jimarlow
CVTConceptMapCSVToolshttps://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapCSVTools
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fjimarlow%2FCVTConceptMapCSVTools
Code https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapCSVTools
Issues https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapCSVTools/issues
Pull requests https://patch-diff.githubusercontent.com/jimarlow/CVTConceptMapCSVTools/pulls
conceptshttps://patch-diff.githubusercontent.com/topics/concepts
wordshttps://patch-diff.githubusercontent.com/topics/words
linkinghttps://patch-diff.githubusercontent.com/topics/linking
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
propositionshttps://patch-diff.githubusercontent.com/topics/propositions
generative-analysishttps://patch-diff.githubusercontent.com/topics/generative-analysis
guiga-zaluhttps://patch-diff.githubusercontent.com/guiga-zalu
notacoeshttps://patch-diff.githubusercontent.com/guiga-zalu/notacoes
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fguiga-zalu%2Fnotacoes
Code https://patch-diff.githubusercontent.com/guiga-zalu/notacoes
Issues https://patch-diff.githubusercontent.com/guiga-zalu/notacoes/issues
Pull requests https://patch-diff.githubusercontent.com/guiga-zalu/notacoes/pulls
mathhttps://patch-diff.githubusercontent.com/topics/math
mathematicshttps://patch-diff.githubusercontent.com/topics/mathematics
propositional-logichttps://patch-diff.githubusercontent.com/topics/propositional-logic
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
michalbiehttps://patch-diff.githubusercontent.com/michalbie
Music-Playerhttps://patch-diff.githubusercontent.com/michalbie/Music-Player
Star 1 https://patch-diff.githubusercontent.com/login?return_to=%2Fmichalbie%2FMusic-Player
Code https://patch-diff.githubusercontent.com/michalbie/Music-Player
Issues https://patch-diff.githubusercontent.com/michalbie/Music-Player/issues
Pull requests https://patch-diff.githubusercontent.com/michalbie/Music-Player/pulls
nodejshttps://patch-diff.githubusercontent.com/topics/nodejs
musichttps://patch-diff.githubusercontent.com/topics/music
websitehttps://patch-diff.githubusercontent.com/topics/website
designhttps://patch-diff.githubusercontent.com/topics/design
vuejshttps://patch-diff.githubusercontent.com/topics/vuejs
nodehttps://patch-diff.githubusercontent.com/topics/node
music-playerhttps://patch-diff.githubusercontent.com/topics/music-player
vuehttps://patch-diff.githubusercontent.com/topics/vue
vue-clihttps://patch-diff.githubusercontent.com/topics/vue-cli
responsive-designhttps://patch-diff.githubusercontent.com/topics/responsive-design
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
responisvehttps://patch-diff.githubusercontent.com/topics/responisve
guiga-zaluhttps://patch-diff.githubusercontent.com/guiga-zalu
medias-relativashttps://patch-diff.githubusercontent.com/guiga-zalu/medias-relativas
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2Fguiga-zalu%2Fmedias-relativas
Code https://patch-diff.githubusercontent.com/guiga-zalu/medias-relativas
Issues https://patch-diff.githubusercontent.com/guiga-zalu/medias-relativas/issues
Pull requests https://patch-diff.githubusercontent.com/guiga-zalu/medias-relativas/pulls
statisticshttps://patch-diff.githubusercontent.com/topics/statistics
mathhttps://patch-diff.githubusercontent.com/topics/math
propositional-logichttps://patch-diff.githubusercontent.com/topics/propositional-logic
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
SensusNetworkhttps://patch-diff.githubusercontent.com/SensusNetwork
SensusNetworkTokenhttps://patch-diff.githubusercontent.com/SensusNetwork/SensusNetworkToken
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FSensusNetwork%2FSensusNetworkToken
Code https://patch-diff.githubusercontent.com/SensusNetwork/SensusNetworkToken
Issues https://patch-diff.githubusercontent.com/SensusNetwork/SensusNetworkToken/issues
Pull requests https://patch-diff.githubusercontent.com/SensusNetwork/SensusNetworkToken/pulls
constitutionhttps://patch-diff.githubusercontent.com/topics/constitution
blockchainhttps://patch-diff.githubusercontent.com/topics/blockchain
proofhttps://patch-diff.githubusercontent.com/topics/proof
votehttps://patch-diff.githubusercontent.com/topics/vote
societyhttps://patch-diff.githubusercontent.com/topics/society
ballothttps://patch-diff.githubusercontent.com/topics/ballot
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
sensus-protocolhttps://patch-diff.githubusercontent.com/topics/sensus-protocol
CE-Storagehttps://patch-diff.githubusercontent.com/CE-Storage
CE115-DShttps://patch-diff.githubusercontent.com/CE-Storage/CE115-DS
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2FCE-Storage%2FCE115-DS
Code https://patch-diff.githubusercontent.com/CE-Storage/CE115-DS
Issues https://patch-diff.githubusercontent.com/CE-Storage/CE115-DS/issues
Pull requests https://patch-diff.githubusercontent.com/CE-Storage/CE115-DS/pulls
graphshttps://patch-diff.githubusercontent.com/topics/graphs
functionshttps://patch-diff.githubusercontent.com/topics/functions
proofhttps://patch-diff.githubusercontent.com/topics/proof
logichttps://patch-diff.githubusercontent.com/topics/logic
set-theoryhttps://patch-diff.githubusercontent.com/topics/set-theory
discrete-mathematicshttps://patch-diff.githubusercontent.com/topics/discrete-mathematics
number-theoryhttps://patch-diff.githubusercontent.com/topics/number-theory
propositionhttps://patch-diff.githubusercontent.com/topics/proposition
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-proposition
Learn more https://docs.github.com/en/articles/classifying-your-repository-with-topics
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.