Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
baseinc
proof-dictionary
Repository navigation
Code
Pull requests
Actions
Projects
Security and quality
Insights
More
items
Files
Expand file tree
master
Breadcrumbs
proof-dictionary
/
_data
/
proofdict
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
master
Breadcrumbs
proof-dictionary
/
_data
/
proofdict
/
Copy path
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
BASEデザインマーケット--01G53T9CNH98TPYVGYK2PBVKWB.yml
BASEデザインマーケット--01G53T9CNH98TPYVGYK2PBVKWB.yml
ECMAScript_$1--01BQ92YYBEFBXEHH8T8HC8RCRD.yml
ECMAScript_$1--01BQ92YYBEFBXEHH8T8HC8RCRD.yml
JavaScript--01BQ92YYBHB83ZNFWK5WBA58B7.yml
JavaScript--01BQ92YYBHB83ZNFWK5WBA58B7.yml
Web--01G53TBE5FKBGCB6DY92M0E725.yml
Web--01G53TBE5FKBGCB6DY92M0E725.yml
Webブラウザ--01G5ER9V2F6AAZFCJ2FR78CTGK.yml
Webブラウザ--01G5ER9V2F6AAZFCJ2FR78CTGK.yml
jQuery--01BQ92YYBJENZB6M480KCJ0J99.yml
jQuery--01BQ92YYBJENZB6M480KCJ0J99.yml
……_01G53TXB64V95QVEHR6C44WGVQ.yml
……_01G53TXB64V95QVEHR6C44WGVQ.yml
〜--01G53TW7SXHTV3E3JCTVE25MCF.yml
〜--01G53TW7SXHTV3E3JCTVE25MCF.yml
あきらめ--01G53SA1GVRD9V8ZK78T2VTPPY.yml
あきらめ--01G53SA1GVRD9V8ZK78T2VTPPY.yml
あたたかい--01G53N1Q6SWXJSRHGAN03J2195.yml
あたたかい--01G53N1Q6SWXJSRHGAN03J2195.yml
あたり--01G53FJ0YBARTMY6SS49ESAJBB.yml
あたり--01G53FJ0YBARTMY6SS49ESAJBB.yml
あらためて--01G53N1321XVBJJR78NDRFSNC5.yml
あらためて--01G53N1321XVBJJR78NDRFSNC5.yml
ありがとうございます--01G53MRDHDM5AGS2ZZ5JXJMD2T.yml
ありがとうございます--01G53MRDHDM5AGS2ZZ5JXJMD2T.yml
あわせて--01G53RYYS1E7WKESJXADA5ABFF.yml
あわせて--01G53RYYS1E7WKESJXADA5ABFF.yml
いたします--01G53R2PK0EYAWA1YWZ40D85RB.yml
いたします--01G53R2PK0EYAWA1YWZ40D85RB.yml
いただきます--01G537GNT4YBVY22VB62JVHGT2.yml
いただきます--01G537GNT4YBVY22VB62JVHGT2.yml
いちばん--01G53SY30CDC8R7BC8W2QTX75N.yml
いちばん--01G53SY30CDC8R7BC8W2QTX75N.yml
いっさい--01G53NH4DQ31ZEMPNR20BY1H4X.yml
いっさい--01G53NH4DQ31ZEMPNR20BY1H4X.yml
いっしょ--01G53GD4C2QN8DZ4MS9ARYJYDG.yml
いっしょ--01G53GD4C2QN8DZ4MS9ARYJYDG.yml
いっそう--01G53T3Z9EPS7DFHJKYYK5CCN9.yml
いっそう--01G53T3Z9EPS7DFHJKYYK5CCN9.yml
いっぱい--01G53H9Y74M4DN1D98QKSC0BXA.yml
いっぱい--01G53H9Y74M4DN1D98QKSC0BXA.yml
いる--01G53FMQDKGQG0C9WMA7KZA8JA.yml
いる--01G53FMQDKGQG0C9WMA7KZA8JA.yml
いろいろ--01G53ETWRSWRT8P5N6QEX9MPTM.yml
いろいろ--01G53ETWRSWRT8P5N6QEX9MPTM.yml
うながす--01G53SBBQD8BDFNK4Q8W5RQFM0.yml
うながす--01G53SBBQD8BDFNK4Q8W5RQFM0.yml
うまく--01G53S0AB0W0PFVQQ2Q4KB1CNP.yml
うまく--01G53S0AB0W0PFVQQ2Q4KB1CNP.yml
うれしい--01G53SJPHZMC19VEHE1FEM58SW.yml
うれしい--01G53SJPHZMC19VEHE1FEM58SW.yml
おかしい--01G53GDXEK53T78YQ3MQBMCRY9.yml
おかしい--01G53GDXEK53T78YQ3MQBMCRY9.yml
おこなう--01G53GKTHZBD7WESFBEJ9XKKJ5.yml
おこなう--01G53GKTHZBD7WESFBEJ9XKKJ5.yml
おもに--01G53S83YFJR5WQRMJV794MXV2.yml
おもに--01G53S83YFJR5WQRMJV794MXV2.yml
および--01G53SSQXR7RB98Y1FVDE4T44E.yml
および--01G53SSQXR7RB98Y1FVDE4T44E.yml
かかわらず--01G53SC0DEWGJF6X3D5ANZZN44.yml
かかわらず--01G53SC0DEWGJF6X3D5ANZZN44.yml
かぎり--01G53SPS5D2F5GDXD4961NSW48.yml
かぎり--01G53SPS5D2F5GDXD4961NSW48.yml
かしずいた--01G53F42KRTWNCB5J4PCH0DZPB.yml
かしずいた--01G53F42KRTWNCB5J4PCH0DZPB.yml
かんたん--01G53NAP2HM6TR3V6TCQPFR4CA.yml
かんたん--01G53NAP2HM6TR3V6TCQPFR4CA.yml
ください--01G53MWQ08M88DRHQ1V8SJDABW.yml
ください--01G53MWQ08M88DRHQ1V8SJDABW.yml
くらいに--01G53GP9PTKK9D43VHXDJCTNCG.yml
くらいに--01G53GP9PTKK9D43VHXDJCTNCG.yml
くわしい--01G53SM2GJ442K75KBG1F4FVWG.yml
くわしい--01G53SM2GJ442K75KBG1F4FVWG.yml
けっして--01G53RY7AQQ41EJ4TKANNNQXAA.yml
けっして--01G53RY7AQQ41EJ4TKANNNQXAA.yml
こだわる--01G53GTDKWTRCVGJ08DRV5F3YD.yml
こだわる--01G53GTDKWTRCVGJ08DRV5F3YD.yml
こと--01G53EXMFYN9QSRZ1C3KXP1PD2.yml
こと--01G53EXMFYN9QSRZ1C3KXP1PD2.yml
このうち--01G53HZ5K8T3FDEYMGTVPVT539.yml
このうち--01G53HZ5K8T3FDEYMGTVPVT539.yml
このたび--01G53EYTVP3ZEHFRS77N6W2TM5.yml
このたび--01G53EYTVP3ZEHFRS77N6W2TM5.yml
このとおり--01G53MBPSVVYR81YS4DF73SAX1.yml
このとおり--01G53MBPSVVYR81YS4DF73SAX1.yml
こまかく--01G53NQ2XMZ9KCF63TY2W5RB0K.yml
こまかく--01G53NQ2XMZ9KCF63TY2W5RB0K.yml
ころ--01G53RWBBTMWKN4B0JSA4F4YMB.yml
ころ--01G53RWBBTMWKN4B0JSA4F4YMB.yml
ございます--01G537FRQ9170B2B6FJNSXVXTB.yml
ございます--01G537FRQ9170B2B6FJNSXVXTB.yml
ごと--01G53NA1Y68JTB6E1YXTGBN3V0.yml
ごと--01G53NA1Y68JTB6E1YXTGBN3V0.yml
ごろ--01G53RWYAWTJ2W7MTT9TPKZTFV.yml
ごろ--01G53RWYAWTJ2W7MTT9TPKZTFV.yml
さい--01G53N68G21VPFSGYEPHV5BJ4H.yml
さい--01G53N68G21VPFSGYEPHV5BJ4H.yml
さっそく--01G53NBDZRC0YEWHFVAXT92HN7.yml
さっそく--01G53NBDZRC0YEWHFVAXT92HN7.yml
さまざま--01G53SVVP2V06W88J4TCD68MZR.yml
さまざま--01G53SVVP2V06W88J4TCD68MZR.yml
さらに--01G53RXHAQJ2XR9RTBF58THNV0.yml
さらに--01G53RXHAQJ2XR9RTBF58THNV0.yml
しくみ--01G53SFPM3K44MQE0TPPA0Q95W.yml
しくみ--01G53SFPM3K44MQE0TPPA0Q95W.yml
したがって--01G53RGEHMB01HB5YTRPK61PC8.yml
したがって--01G53RGEHMB01HB5YTRPK61PC8.yml
じつは--01G53S2ZEKP0KYZ29GF16CT2D3.yml
じつは--01G53S2ZEKP0KYZ29GF16CT2D3.yml
すごく--01G53HAMN3X552V1VTP90CY1QM.yml
すごく--01G53HAMN3X552V1VTP90CY1QM.yml
すでに--01G53RK8J1Z4GR9H9PYZA7KP9S.yml
すでに--01G53RK8J1Z4GR9H9PYZA7KP9S.yml
すばらしい--01G53S1NSY51ATFHH9RCMYBCB4.yml
すばらしい--01G53S1NSY51ATFHH9RCMYBCB4.yml
すべて--01G53HQANY4MP6TZWMFKRD0Y69.yml
すべて--01G53HQANY4MP6TZWMFKRD0Y69.yml
すみやか--01G53SRCBKMMG7DRV93689W49S.yml
すみやか--01G53SRCBKMMG7DRV93689W49S.yml
すむ--01G53NRKAKSTCTQV9JABPG6ZZT.yml
すむ--01G53NRKAKSTCTQV9JABPG6ZZT.yml
ぜひ--01G53NSJEQBJJZBHF44BP8SH0A.yml
ぜひ--01G53NSJEQBJJZBHF44BP8SH0A.yml
そのあと--01G53J06DD36ZR46C22SVBG5TG.yml
そのあと--01G53J06DD36ZR46C22SVBG5TG.yml
それぞれ--01G53F55J3G13CZKGG8FBR3MX9.yml
それぞれ--01G53F55J3G13CZKGG8FBR3MX9.yml
そろう--01G53SAPSNM56CQS8V5G684NP9.yml
そろう--01G53SAPSNM56CQS8V5G684NP9.yml
たくさん--01G53EVQFYQX3D5FG0CR9AYYCQ.yml
たくさん--01G53EVQFYQX3D5FG0CR9AYYCQ.yml
ただし--01G53NTS791YQBGYV2TV0DGC8P.yml
ただし--01G53NTS791YQBGYV2TV0DGC8P.yml
たとえば--01G53HRGX4H9H6H0YFT50J2PEZ.yml
たとえば--01G53HRGX4H9H6H0YFT50J2PEZ.yml
たまらない--01G53GVPJD2C7EEDBACW6JFXK4.yml
たまらない--01G53GVPJD2C7EEDBACW6JFXK4.yml
ため--01G53RJHJ4HMG78TCXX10EJKD9.yml
ため--01G53RJHJ4HMG78TCXX10EJKD9.yml
つながる--01G53S9DQ47BFF7KSH4YH0HHJD.yml
つながる--01G53S9DQ47BFF7KSH4YH0HHJD.yml
つねに--01G53RNK0X0GQYQ4Q88J7EKH6B.yml
つねに--01G53RNK0X0GQYQ4Q88J7EKH6B.yml
ていねい--01G53SGK49G5BB8HJ9MWHXRW7M.yml
ていねい--01G53SGK49G5BB8HJ9MWHXRW7M.yml
できる--01G53MXCA6060A7Q8HERXZPG8T.yml
できる--01G53MXCA6060A7Q8HERXZPG8T.yml
とき--01G53EWJQSJF279ZGPCHAGXT27.yml
とき--01G53EWJQSJF279ZGPCHAGXT27.yml
とくに--01G53S3GK85FC5C2MJH070V22Q.yml
とくに--01G53S3GK85FC5C2MJH070V22Q.yml
ともなう--01G53S24XYFTH7F68FT7AG4MZ9.yml
ともなう--01G53S24XYFTH7F68FT7AG4MZ9.yml
ともに--01G53RH1S3JET3AYMM57H8YNY7.yml
ともに--01G53RH1S3JET3AYMM57H8YNY7.yml
ない--01G53GWT8BD36Y3NQZKTNMFMHA.yml
ない--01G53GWT8BD36Y3NQZKTNMFMHA.yml
ながめ--01G53SE2A7XVTBTM0KAKRYNZ9C.yml
ながめ--01G53SE2A7XVTBTM0KAKRYNZ9C.yml
など--01G53N9BBBBZG51DFKZ9TACKHW.yml
など--01G53N9BBBBZG51DFKZ9TACKHW.yml
にぎやか--01G53SHJ2TW9Y9STR8097FSMQJ.yml
にぎやか--01G53SHJ2TW9Y9STR8097FSMQJ.yml
のぞく--01G53MT08AN6WQNZ75DB1VCYS0.yml
のぞく--01G53MT08AN6WQNZ75DB1VCYS0.yml
はじめて--01G53NKVAJV28HF3ABJSS17NGB.yml
はじめて--01G53NKVAJV28HF3ABJSS17NGB.yml
はじめる--01G53RHNP5CSHM9MDRFN7ZX6VE.yml
はじめる--01G53RHNP5CSHM9MDRFN7ZX6VE.yml
ひざまずく--01G53F5XZCRWD92CCNG0V9PK54.yml
ひざまずく--01G53F5XZCRWD92CCNG0V9PK54.yml
ふくむ--01G53RZPSZGKYAQYPFFTC3Q3PD.yml
ふくむ--01G53RZPSZGKYAQYPFFTC3Q3PD.yml
ほか--01G53RVX2XH52EEY9QSQXDQ1KZ.yml
ほか--01G53RVX2XH52EEY9QSQXDQ1KZ.yml
ほしい--01G53N4MYAHFF2E8558TBGA064.yml
ほしい--01G53N4MYAHFF2E8558TBGA064.yml
ほとんど--01G53HPPB95EQSTHXEXWBYWSKN.yml
ほとんど--01G53HPPB95EQSTHXEXWBYWSKN.yml
ほど--01G53MDN1NMYFZN5B1G5X4QVHX.yml
ほど--01G53MDN1NMYFZN5B1G5X4QVHX.yml
ほんとう--01G53S8P80CCH1RQHC64HZAP2N.yml
ほんとう--01G53S8P80CCH1RQHC64HZAP2N.yml
まいります--01G53MS8QJEJJY05VEF9H7N186.yml
まいります--01G53MS8QJEJJY05VEF9H7N186.yml
まことに--01G53MF7PBZPDEWWXH5R6TWE27.yml
まことに--01G53MF7PBZPDEWWXH5R6TWE27.yml
まったく--01G53HQXM1Z5KJ80VWPE56RDP5.yml
まったく--01G53HQXM1Z5KJ80VWPE56RDP5.yml
まで--01G53RV5FQBJFECQYQJN88WMA5.yml
まで--01G53RV5FQBJFECQYQJN88WMA5.yml
みなさん--01G53MV4PT1DJQP5R957MZ6NXD.yml
みなさん--01G53MV4PT1DJQP5R957MZ6NXD.yml
みんな--01G53GXG7SV67N9755HJRRKRDF.yml
みんな--01G53GXG7SV67N9755HJRRKRDF.yml
もっとも--01G53RMXWKYV1ZGJCY9NAJ94G7.yml
もっとも--01G53RMXWKYV1ZGJCY9NAJ94G7.yml
もともと--01G53SXEXSCCQZCW5W8RT1Z5CM.yml
もともと--01G53SXEXSCCQZCW5W8RT1Z5CM.yml
View all files
You can’t perform that action at this time.